add_top — Mathlib · SciLib

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

add_top

Mathlib.Data.Nat.PartENat

URI: https://scilib.ai/kg/mathlib#PartENat.add_top

← MathLib Explorer