mathlib
3b49f096 - Switch from subtype to using set for the subspace of X

Commit

3 years ago

Switch from subtype to using set for the subspace of X

References

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

Author

mlavrent

mlavrent

Parents

Loading