Nuprl Definition : has-es-info-type
has-es-info-type(es;e;f;T) == es-info-type(es;e;f) ⊆r T
Definitions occuring in Statement :
es-info-type: es-info-type(es;e;f),
subtype_rel: A ⊆r B
FDL editor aliases :
has-es-info-type
Latex:
has-es-info-type(es;e;f;T) == es-info-type(es;e;f) \msubseteq{}r T
Date html generated:
2015_07_21-PM-04_48_35
Last ObjectModification:
2013_02_14-PM-02_44_00
Home
Index