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

lor_eq_or

Mathlib.Data.Num.Bitwise

URI: https://scilib.ai/kg/mathlib#PosNum.lor_eq_or

← MathLib Explorer