Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-28 11:39 4ee988db

View on Github →

chore(algebra/homology/homotopy): cleanup (#12998) Correcting a name and some whitespace.

Estimated changes

modified def homotopy.add
added theorem prev_d_comp_right
deleted theorem to_prev'_comp_right