Theorem Algebra.Presentation.exists_presentation_fin

Modification history