Theorem RingEquiv.mapTwoSidedIdeal_apply

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_applyView on Github →