Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prev_d_comp_right

Modification history

2022-03-28 11:39
src/algebra/homology/homotopy.lean
chore(algebra/homology/homotopy): cleanup (#12998) …
Added prev_d_comp_rightView on Github →