Def GradedObject.finrankSupport

Modification history

2026-07-24 07:15
Mathlib/Algebra/Homology/EulerCharacteristic.lean
chore: add missing `noncomputable` (#41446) …
Deleted GradedObject.finrankSupportView on Github →
2026-02-06 12:50
Mathlib/Algebra/Homology/EulerCharacteristic.lean
feat: add ComplexShape.EulerCharSigns for generalized Euler characteristic (#31121) …
Added GradedObject.finrankSupportView on Github →