Theorem PowerBasis.equivOfMinpoly_aeval

Modification history