Nuprl Lemma : pi-example-inst_wf
pi-example-inst() ∈ pi_term()
Proof
Definitions occuring in Statement :
pi-example-inst: pi-example-inst(),
pi_term: pi_term(),
member: t ∈ T
Lemmas :
pi-example_wf,
cons_wf_listp,
nil_wf,
listp_wf
Latex:
pi-example-inst() \mmember{} pi\_term()
Date html generated:
2015_07_23-AM-11_33_03
Last ObjectModification:
2015_01_29-AM-00_54_00
Home
Index