Nuprl Lemma : bool-inhabited
𝔹
Proof
Definitions occuring in Statement
:
bool:
𝔹
Lemmas
:
btrue_wf
\mBbbB{}
Date html generated: 2015_07_17-AM-09_05_02
Last ObjectModification: 2015_01_27-PM-00_53_38
Home
Index