mathlib
7d5b50a7 - feat(algebra/homology/homotopy): flesh out the api a bit, add some simps (#7941)

Commit

4 years ago

feat(algebra/homology/homotopy): flesh out the api a bit, add some simps (#7941)

Author

jcommelin

jcommelin

Parents

Loading