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