Theorem Module.End.ker_pow_le_ker_pow_finrank

Modification history