Theorem Polynomial.addSubmonoid_closure_setOf_eq_monomial

Modification history