Def IsFreeGroupoid.SpanningTree.loopOfHom

Modification history