Nuprl Definition : has-es-info-type

has-es-info-type(es;e;f;T) ==  es-info-type(es;e;f) ⊆T



Definitions occuring in Statement :  es-info-type: es-info-type(es;e;f) subtype_rel: A ⊆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: 2016_05_17-AM-08_51_04
Last ObjectModification: 2013_02_14-PM-02_44_00

Theory : messages


Home Index