mathlib3
52c2f742 - docs(topology/homotopy): add namespace in docstring to fix links (#10711)

Commit

4 years ago

docs(topology/homotopy): add namespace in docstring to fix links (#10711) Currently all the occurences of `homotopy` in the docs link to `algebra/homology/homotopy`.

Author

ADedecker

Parents

a12fc705

mathlib3 52c2f742 - docs(topology/homotopy): add namespace in docstring to fix links (#10711)

mathlib3
52c2f742 - docs(topology/homotopy): add namespace in docstring to fix links (#10711)