Theorem IncidenceAlgebra.eulerChar_prod

Modification history

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