Nuprl Definition : mktopspace

mktopspace(T;E;equiv) ==  <T, E, equiv>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  mktopspace
Latex:
mktopspace(T;E;equiv)  ==    <T,  E,  equiv>


Date html generated: 2018_07_29-AM-09_48_58
Last ObjectModification: 2018_06_21-AM-10_42_50

Theory : inner!product!spaces


Home Index