Theorem Algebra.FiniteType.iff_quotient_mvPolynomial''

Modification history