succ — Mathlib · SciLib

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

succ

Mathlib.Data.Num.Bitwise

URI: https://scilib.ai/kg/mathlib#SNum.succ

← MathLib Explorer