← Mathematical handbook

@[instance_reducible]

instance Lean.Grind.instFieldRat : Field Rat

Equations

• One or more equations did not get rendered due to their size.

instance Lean.Grind.instIsCharPRatOfNatNat : IsCharP Rat 0

instance Lean.Grind.instNoNatZeroDivisorsRat : NoNatZeroDivisors Rat

instance Lean.Grind.instLawfulOfScientificRat : LawfulOfScientific Rat