Theorem Algebra.Presentation.baseChange_toGenerators

Modification history