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