Theorem PowerBasis.lift_aeval

Modification history