Theorem IsNoetherian.bijective_of_surjective_endomorphism

Modification history