issues
search
metamath
/
set.mm
Metamath source file for logic and set theory
Other
243
stars
88
forks
source link
save ax-12 in nfcr, nfcri; +19.9dev
#4016
Closed
icecream17
closed
3 months ago
icecream17
commented
3 months ago
limited downstream effect
edit: nfcri
limited downstream effectedit: nfcri