Nuprl Rule : sqleZero

H  ⊢ a ≤b

  BY sqleZero ()
  
  No Subgoals



Definitions occuring in rule :  sqle_n: s ≤t natural_number: $n axiom: Ax

Latex:
H    \mvdash{}  a  \mleq{}0  b

    BY  sqleZero  ()
   
    No  Subgoals



Date html generated: 2019_06_20-PM-04_12_05
Last ObjectModification: 2015_11_24-PM-01_52_01

Theory : rules


Home Index