Theorem IsFreeGroupoid.SpanningTree.treeHom_root

Modification history