instReprPNat — Mathlib · SciLib

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

instReprPNat

Mathlib.Data.PNat.Notation

URI: https://scilib.ai/kg/mathlib#instReprPNat

← MathLib Explorer