Def IsFreeGroupoid.SpanningTree.treeHom

Modification history