Nuprl Rule : because_SupInf
H ⊢ C
BY because_SupInf ()
No Subgoals
Latex:
H \mvdash{} C
BY because\_SupInf ()
No Subgoals
Date html generated: 2016_07_05-PM-05_27_52
Last ObjectModification: 2015_11_25-PM-03_37_51
Theory :
rules
Home
Index