Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homological_complex.d_from_comp_X_next_iso_self

Modification history

2022-08-08 21:44
src/algebra/homology/homological_complex.lean
doc(algebra/homology/homological_complex): fix doc and names (#15940) …
Added homological_complex.d_from_comp_X_next_iso_selfView on Github →