Theorem isNoetherian_of_range_eq_ker
Modification history
2024-04-27 06:15
Mathlib/RingTheory/Noetherian.lean
Chore: Weaken hypotheses for proof that Noetherian is an extension property (#12453) …
Modified isNoetherian_of_range_eq_kerView on Github →