Theorem FundamentalGroupoid.conj_eqToHom

Modification history

2026-06-10 10:57
Mathlib/AlgebraicTopology/FundamentalGroupoid/Basic.lean
chore(AlgebraicTopology/FundamentalGroupoid/Basic): automated extraction (#40459) …
Modified FundamentalGroupoid.conj_eqToHomView on Github →
2025-10-18 17:29
Mathlib/AlgebraicTopology/FundamentalGroupoid/Basic.lean
chore(AlgebraicTopology): clean up FundamentalGroupoid (#28234) …
Added FundamentalGroupoid.conj_eqToHomView on Github →