Nuprl Lemma : bottom_diverge
¬(⊥)↓
Proof
Definitions occuring in Statement :
bottom: ⊥,
not: ¬A
Rules used in proof :
bottomDiverges
Latex:
\mneg{}(\mbot{})\mdownarrow{}
Date html generated:
2019_06_20-AM-11_20_31
Last ObjectModification:
2018_10_15-PM-10_51_01
Theory : call!by!value_1
Home
Index