search

metamath / set.mm

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

Hartogs function #3999

Closed benjub closed 3 months ago

benjub commented 3 months ago

No new theorems.