Theorem ComplexShape.χ_next

Modification history

2026-02-06 12:50
Mathlib/Algebra/Homology/EulerCharacteristic.lean
feat: add ComplexShape.EulerCharSigns for generalized Euler characteristic (#31121) …
Added ComplexShape.χ_nextView on Github →