Def Algebra.Presentation.ofFinitePresentationVars

Modification history