Theorem PowerBasis.equivOfMinpoly_map

Modification history