Mathlib Changelog
v4
Changelog
About
Github
Def
RingEquiv.mapTwoSidedIdeal
Modification history
2025-02-27 17:52
Mathlib/RingTheory/TwoSidedIdeal/Operations.lean
feat(RingTheory/SimpleRing/Congr): simpleness is preserved by ring isomorphism (#21292) …
Added
RingEquiv.mapTwoSidedIdeal
View on Github →