Theorem Ideal.map_eq_top_or_isMaximal_of_surjective
Modification history
2024-07-27 08:25
Mathlib/RingTheory/Ideal/Maps.lean
chore: robustifying for debug.byAsSorry (part 11) (#15169)
Modified Ideal.map_eq_top_or_isMaximal_of_surjectiveView on Github →