Theorem PowerBasis.repr_pow_isIntegral

Modification history