Theorem PolynomialModule.induction_linear

Modification history