Nuprl Rule : remZero

H  ⊢ (0 rem b) = 0 ∈ ℤ

  BY remZero ()
  
  H  ⊢ if b=0 then False else True
  H  ⊢ b ∈ ℤ

Latex:
H    \mvdash{}  (0  rem  b)  =  0

    BY  remZero  ()
   
    H    \mvdash{}  if  b=0  then  False  else  True
    H    \mvdash{}  b  \mmember{}  \mBbbZ{}


Date html generated: 2019_06_20-PM-04_12_23
Last ObjectModification: 2018_08_20-AM-11_57_18

Theory : rules


Home Index