expect_add_distrib — Mathlib · SciLib

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

expect_add_distrib

Mathlib.Algebra.BigOperators.Expect

URI: https://scilib.ai/kg/mathlib#Finset.expect_add_distrib

← MathLib Explorer