Theorem ComplexShape.not_rel_of_eq

Modification history

2025-07-04 07:44
Mathlib/Algebra/Homology/HasNoLoop.lean
chore: further whitespace fixes (#26708) …
Modified ComplexShape.not_rel_of_eqView on Github →
2025-02-24 12:08
Mathlib/Algebra/Homology/HasNoLoop.lean
feat(CategoryTheory): categories of homological complexes have a separator (#20229) …
Added ComplexShape.not_rel_of_eqView on Github →