Published package / CLIR

stacks.sets

v0.1.0

Set Theory

WorkNumberEditionsFragments
Set TheoryThe Stacks Project, Chapter «Set Theory» (tag 0007)113