dite_mul — Mathlib · SciLib

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

dite_mul

Mathlib.Algebra.Notation.Defs

URI: https://scilib.ai/kg/mathlib#dite_mul

← MathLib Explorer