search

metamath / set.mm

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

Semiring of ideals (1) #4030

Closed tirix closed 4 months ago

tirix commented 4 months ago

Basic statements about the semiring of ideals, but still not proving that it's actually a semiring.