Theorem IsNoetherian.bijective_of_surjective_endomorphism
Modification history
2024-11-11 10:06
Mathlib/RingTheory/Noetherian/Defs.lean
chore(RingTheory/Noetherian): split `Noetherian.lean` (#18734) …
Modified IsNoetherian.bijective_of_surjective_endomorphismView on Github →