Theorem modulePolynomialOfEndo.isScalarTower

Modification history