Theorem Algebra.FinitePresentation.polynomial

Modification history