mathlib
ca316868 - Merge branch 'fin-inf-group-type-tags' into fg-surj

Commit

3 years ago

Merge branch 'fin-inf-group-type-tags' into fg-surj

References

#16615 - feat(algebraic_topology/fundamental_groupoid): Add topological retraction and relate to category_theory retraction

Author

mlavrent

mlavrent

Parents

Loading