Def IsFreeGroupoid.SpanningTree.loopOfHom

Modification history

2023-05-15 14:58

Mathlib/GroupTheory/NielsenSchreier.lean

feat: port GroupTheory.NielsenSchreier (#3981)

Added IsFreeGroupoid.SpanningTree.loopOfHom View on Github →