Def IncidenceAlgebra.eulerChar

Modification history

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