Theorem PowerBasis.repr_mul_isIntegral

Modification history