coe_divNat — Mathlib · SciLib

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

coe_divNat

Mathlib.Data.NNRat.Defs

URI: https://scilib.ai/kg/mathlib#NNRat.coe_divNat

← MathLib Explorer