Commit 2025-03-27 04:48 4e2055c2
View on Github →chore: split SetTheory.ZFC.Basic
(#23354)
SetTheory.ZFC.Basic
splits naturally into
.PSet
for pre-sets.Basic
for actual ZFC sets.Class
for classes (the Burali-Forti paradox has also been moved here)