Mathlib v3 is deprecated. Go to Mathlib v4

Def homological_complex.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.X_next_iso_self View on Github →