Nuprl Rule : because_Cache

H  ⊢ C

  BY because_Cache ()
  
  No Subgoals



Definitions occuring in rule :  axiom: Ax

Latex:
H    \mvdash{}  C

    BY  because\_Cache  ()
   
    No  Subgoals



Date html generated: 2016_12_14-AM-08_53_26
Last ObjectModification: 2015_11_25-PM-03_37_51

Theory : rules


Home Index