Theorem PowerBasis.repr_gen_pow_isIntegral

Modification history