Documentation

Init.GrindInstances.Ring.Int

source
@[implicit_reducible]
instance Lean.Grind.instCommRingInt :
CommRing Int
Equations
  • One or more equations did not get rendered due to their size.
source
instance Lean.Grind.instIsCharPIntOfNatNat :
IsCharP Int 0
source
instance Lean.Grind.instNoNatZeroDivisorsInt :
NoNatZeroDivisors Int