Theorem PowerBasis.constr_pow_mul

Modification history