Theorem PowerBasis.degree_minpolyGen

Modification history