Def IsFreeGroupoid.SpanningTree.homOfPath

Modification history