Theorem PowerBasis.toMatrix_isIntegral

Modification history