Nuprl Definition : sq_or
a ↓∨ b == ↓a ∨ b
Definitions occuring in Statement :
squash: ↓T,
or: P ∨ Q
Definitions occuring in definition :
squash: ↓T,
or: P ∨ Q
Latex:
a \mdownarrow{}\mvee{} b == \mdownarrow{}a \mvee{} b
Date html generated:
2016_05_13-PM-03_13_10
Last ObjectModification:
2016_01_04-AM-10_26_16
Theory : core_2
Home
Index