Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homological_complex.X_prev_iso_self_comp_d_to

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.X_prev_iso_self_comp_d_to View on Github →