zero_apply — Mathlib · SciLib

∫ Утверждение Mathlib

zero_apply

Mathlib.Combinatorics.Enumerative.IncidenceAlgebra

URI: https://scilib.ai/kg/mathlib#IncidenceAlgebra.zero_apply

← MathLib Explorer