Theorem FundamentalGroupoid.eqToHom_eq

Modification history

2025-10-18 17:29
Mathlib/AlgebraicTopology/FundamentalGroupoid/Basic.lean
chore(AlgebraicTopology): clean up FundamentalGroupoid (#28234) …
Added FundamentalGroupoid.eqToHom_eqView on Github →