Theorem PowerBasis.minpolyGen_eq

Modification history