Documentation

Init.Grind.CommRing.Int

source
instance Lean.Grind.instCommRingInt :
CommRing Int
Equations
    source
    instance Lean.Grind.instIsCharPIntOfNatNat :
    IsCharP Int 0
    source
    instance Lean.Grind.instNoNatZeroDivisorsInt :
    NoNatZeroDivisors Int