instFloorRing — Mathlib · SciLib

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

instFloorRing

Mathlib.Data.Rat.Floor

URI: https://scilib.ai/kg/mathlib#Rat.instFloorRing

← MathLib Explorer