search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

mapping ideals #28

Closed dan323 closed 1 year ago

dan323 commented 1 year ago

Theorems about ideals transformed by ring homomorphisms.