search

metamath / set.mm

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

Show one sided inverse for metakunt main theorem #4012

Closed metakunt closed 3 months ago