Nuprl Lemma : Comm-state_wf
Comm-state() ∈ Type
Proof
Definitions occuring in Statement :
Comm-state: Comm-state(),
member: t ∈ T,
universe: Type
Lemmas :
fpf_wf,
Id_wf,
list_wf,
pi_prefix_wf,
bool_wf,
nat_wf
Latex:
Comm-state() \mmember{} Type
Date html generated:
2015_07_23-AM-11_58_08
Last ObjectModification:
2015_01_29-AM-07_40_03
Home
Index