Def IsFreeGroupoid.Generators

Modification history