search

metamath / set.mm

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

Alternate definition of iota' #4177

Closed benjub closed 2 months ago

benjub commented 2 months ago

In @avekens's mathbox

tirix commented 2 months ago

I'll wait for @avekens's approval.