Theorem Module.End.ker_pow_constant

Modification history