Nuprl Definition : trans-apply
T_t(x) == T t x
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
FDL editor aliases :
trans-apply
Latex:
T\_t(x) == T t x
Date html generated:
2017_10_05-AM-00_21_13
Last ObjectModification:
2017_06_24-PM-03_55_42
Theory : inner!product!spaces
Home
Index