Theorem ComplexShape.exists_distinct_prev_or

Modification history

2025-02-24 12:08
Mathlib/Algebra/Homology/HasNoLoop.lean
feat(CategoryTheory): categories of homological complexes have a separator (#20229) …
Added ComplexShape.exists_distinct_prev_orView on Github →