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

top_sub_one

Mathlib.Data.ENat.Basic

URI: https://scilib.ai/kg/mathlib#ENat.top_sub_one

← MathLib Explorer