Documentation

Init.Grind.CommRing.Int

source
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