Theorem PowerBasis.constr_pow_aeval

Modification history