Merge https://github.com/metamath/set.mm into av-gd5

avekens · Nov 26, 2023 · cd79b65 · cd79b65
2 parents b3aa491 + 68f3b7d
commit cd79b65
Show file tree

Hide file tree

Showing 42 changed files with 1,480 additions and 5,773 deletions.
diff --git a/_alghierarchy.svg b/_alghierarchy.svg
diff --git a/_algtophierarchy.svg b/_algtophierarchy.svg
diff --git a/_frege_A.svg b/_frege_A.svg
diff --git a/_frege_BimA.svg b/_frege_BimA.svg
diff --git a/_frege_cfheF.svg b/_frege_cfheF.svg
diff --git a/_frege_dfAeqB.svg b/_frege_dfAeqB.svg
diff --git a/_frege_fheF.svg b/_frege_fheF.svg
diff --git a/_frege_funcf.svg b/_frege_funcf.svg
diff --git a/_frege_funf.svg b/_frege_funf.svg
diff --git a/_frege_jA.svg b/_frege_jA.svg
diff --git a/_frege_jABinS.svg b/_frege_jABinS.svg
diff --git a/_frege_jAeqB.svg b/_frege_jAeqB.svg
diff --git a/_frege_jAinP.svg b/_frege_jAinP.svg