dite_div_dite — Mathlib · SciLib

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

dite_div_dite

Mathlib.Algebra.Notation.Defs

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

← MathLib Explorer