Theorem HomologicalComplex.eulerChar_eq_sum_finSet_of_finrankSupport_subset

Modification history

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