Theorem Algebra.FiniteType.iff_quotient_mvPolynomial

Modification history