Theorem IncidenceAlgebra.eulerChar_orderDual

Modification history

2025-01-21 15:48
Mathlib/Combinatorics/Enumerative/IncidenceAlgebra.lean
feat(IncidenceAlgebra): Euler characteristic of a partial order (#20299) …
Added IncidenceAlgebra.eulerChar_orderDualView on Github →