Nuprl Definition : topeq

topeq(X;a;b) == (fst(snd(X))) a b

Definitions occuring in Statement : pi1: fst(t), pi2: snd(t), apply: f a
Definitions occuring in definition : pi2: snd(t), pi1: fst(t), apply: f a
FDL editor aliases : topeq

Latex:
topeq(X;a;b) == (fst(snd(X))) a b Date html generated: 2018_07_29-AM-09_47_43 Last ObjectModification: 2018_06_21-AM-10_17_58 Theory : inner!product!spaces Home Index