Def IsFreeGroupoid.SpanningTree.endIsFree

Modification history