Theorem GradedObject.finrankSupport_subset_iff

Modification history

2026-02-06 12:50

Mathlib/Algebra/Homology/EulerCharacteristic.lean

feat: add ComplexShape.EulerCharSigns for generalized Euler characteristic (#31121) …

Added GradedObject.finrankSupport_subset_iff View on Github →