Theorem Module.End.exists_ker_pow_eq_ker_pow_succ

Modification history