Theorem IsFreeGroupoid.SpanningTree.loopOfHom_eq_id

Modification history

2023-05-15 14:58
Mathlib/GroupTheory/NielsenSchreier.lean
feat: port GroupTheory.NielsenSchreier (#3981)
Added IsFreeGroupoid.SpanningTree.loopOfHom_eq_idView on Github →