ofNat_ne_top — Mathlib · SciLib

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

ofNat_ne_top

Mathlib.Data.Nat.PartENat

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

← MathLib Explorer