search

metamath / set.mm

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

ax-mulcom pr 8, more structure deductions #4029

Closed icecream17 closed 4 months ago

icecream17 commented 4 months ago

commit by commit; mathbox part 8 of https://github.com/metamath/set.mm/pull/3713