Theorem Module.p_pow_smul_lift

Modification history