Nuprl Lemma : CLK_headers_no_inputs_wf

CLK_headers_no_inputs() ∈ Name List


Proof




Definitions occuring in Statement :  CLK_headers_no_inputs: CLK_headers_no_inputs() name: Name list: List member: t ∈ T
Lemmas :  cons_wf name_wf cons_wf_listp nil_wf listp_wf

Latex:
CLK\_headers\_no\_inputs()  \mmember{}  Name  List



Date html generated: 2015_07_23-PM-04_10_10
Last ObjectModification: 2015_02_04-PM-02_01_44

Home Index