Nuprl Lemma : encryption-key_sq
SQType(Key)
Proof
Definitions occuring in Statement :
encryption-key: Key,
sq_type: SQType(T)
Lemmas :
subtype_base_sq,
Id_wf,
union_subtype_base,
atom2_subtype_base,
atom1_subtype_base
Latex:
SQType(Key)
Date html generated:
2015_07_23-PM-00_01_49
Last ObjectModification:
2015_01_29-AM-07_44_24
Home
Index