Nuprl Lemma : bool-inhabited
𝔹
Proof
Definitions occuring in Statement :
bool: 𝔹
Definitions unfolded in proof :
member: t ∈ T
Latex:
\mBbbB{}
Date html generated:
2016_05_16-AM-10_23_32
Last ObjectModification:
2015_12_28-PM-09_18_42
Theory : new!event-ordering
Home
Index