Theorem PowerBasis.equivOfRoot_aeval

Modification history