Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-19 23:38 7d5b50a7

View on Github →

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

Estimated changes

added theorem d_next_nat
added def homotopy.comp
added def homotopy.of_eq
added theorem prev_d_nat