Theorem PowerBasis.natDegree_minpolyGen

Modification history