Theorem IsFreeGroupoid.SpanningTree.endIsFree

Modification history