Nuprl Lemma : Knd_sq
SQType(Knd)
Proof
Definitions occuring in Statement :
Knd: Knd,
sq_type: SQType(T)
Lemmas :
subtype_base_sq,
IdLnk_wf,
Id_wf,
union_subtype_base,
product_subtype_base,
atom2_subtype_base
SQType(Knd)
Date html generated:
2015_07_17-AM-09_11_08
Last ObjectModification:
2015_01_28-AM-07_57_55
Home
Index