2022-04-15 20:29
src/algebraic_topology/fundamental_groupoid/fundamental_group.lean
feat(algebraic_topology/fundamental_groupoid/fundamental_group): add type checker helpers for convertings paths to/from elements of fundamental group (#13182) …
Added fundamental_group.from_arrow