Theorem IsNoetherian.exists_endomorphism_iterate_ker_inf_range_eq_bot

Modification history