Nuprl Rule : baseClosed

This rule proved as lemma rule_base_closed_true in file rules/rules_base.v at https://github.com/vrahli/NuprlInCoq  

   ⊢ t ∈ Base

  BY baseClosed ()
  
  No Subgoals


Latex:
      \mvdash{}  t  \mmember{}  Base

    BY  baseClosed  ()
   
    No  Subgoals



Date html generated: 2016_12_14-AM-08_53_27
Last ObjectModification: 2016_07_08-PM-03_49_06

Theory : rules


Home Index