search

metamath / set.mm

Metamath source file for logic and set theory
Other
254 stars 88 forks source link

Surreals 2 #4143

Closed sctfn closed 2 months ago

sctfn commented 2 months ago

More work on surreals - proved biconditional madebday and oldbday.

Moved rabeqdca to main set.mm