Theorem IsSimpleRing.of_surjective

Modification history

2025-02-27 17:52
Mathlib/RingTheory/SimpleRing/Congr.lean
feat(RingTheory/SimpleRing/Congr): simpleness is preserved by ring isomorphism (#21292) …
Added IsSimpleRing.of_surjectiveView on Github →