mathlib3
dab2ae38 - feat(category_theory/is_connected): transfer across equivalence (#5021)

Commit

5 years ago

feat(category_theory/is_connected): transfer across equivalence (#5021) Also renames some universes to match usual conventions

Author

b-mehta

Parents