Nuprl Lemma : sdata_subtype_base
SecurityData ⊆r Base
Proof
Definitions occuring in Statement :
sdata: SecurityData,
subtype_rel: A ⊆r B,
base: Base
Lemmas :
tree_subtype_base,
Id_wf,
union_subtype_base,
atom2_subtype_base,
atom1_subtype_base
Latex:
SecurityData \msubseteq{}r Base
Date html generated:
2015_07_23-PM-00_01_03
Last ObjectModification:
2015_01_29-AM-07_43_31
Home
Index