Theorem Algebra.FiniteType.of_finitePresentation

Modification history