search

metamath / set.mm

Metamath source file for logic and set theory
Creative Commons Zero v1.0 Universal
238 stars 87 forks source link

fix missing date/typo #4054

Closed wlammen closed 1 month ago

wlammen commented 1 month ago

Found while scanning through set.mm.