single_eq_pi_single — Mathlib · SciLib

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

single_eq_pi_single

Mathlib.Data.DFinsupp.Defs

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

← MathLib Explorer