mathlib3
2241588b - feat(topology/homotopy): Homotopic maps induce naturally isomorphic functors between fundamental groupoid (#11595)

Commit

3 years ago

feat(topology/homotopy): Homotopic maps induce naturally isomorphic functors between fundamental groupoid (#11595) Co-authored-by: prakol16 <prakol16@users.noreply.github.com>

Author

prakol16

Parents

5f3f70fe

mathlib3 2241588b - feat(topology/homotopy): Homotopic maps induce naturally isomorphic functors between fundamental groupoid (#11595)

mathlib3
2241588b - feat(topology/homotopy): Homotopic maps induce naturally isomorphic functors between fundamental groupoid (#11595)