Nuprl Rule : closedConclusion

This rule proved as lemma rule_closed_conclusion_true3 in file rules/rules_struct2.v
 at https://github.com/vrahli/NuprlInCoq  
H  ⊢ C ext t

  BY closedConclusion ()
  
     ⊢ C ext t

Latex:
H    \mvdash{}  C  ext  t

    BY  closedConclusion  ()
   
          \mvdash{}  C  ext  t


Date html generated: 2019_06_20-PM-04_11_42
Last ObjectModification: 2016_07_08-PM-03_49_01

Theory : rules


Home Index