mathlib
7438b034 - refactor homotopy_group_equiv_fundamental_group

Commit

2 years ago

refactor homotopy_group_equiv_fundamental_group

References

homotopy_group_equiv_fundamental_group_of_unique_refactor

Author

alreadydone

alreadydone

Parents

Loading