Def CategoryTheory.Groupoid.vertexGroupIsomOfPath

Modification history