sigmaUncurry_apply — Mathlib · SciLib

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

sigmaUncurry_apply

Mathlib.Data.DFinsupp.Sigma

URI: https://scilib.ai/kg/mathlib#DFinsupp.sigmaUncurry_apply

← MathLib Explorer