not_isLeft_and_isRight — Mathlib · SciLib

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

not_isLeft_and_isRight

Mathlib.Data.Sum.Basic

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

← MathLib Explorer