Theorem Module.End.ker_pow_eq_ker_pow_finrank_of_le

Modification history