Nuprl Definition : usym

(basic):: UniformlySym(T;x,y.E[x; y]) ==  ∀[a,b:T].  (E[a; b] ⇒ E[b; a])


Definitions occuring in Statement :  uall: ∀[x:A]. B[x],  implies: P ⇒ Q
Definitions occuring in definition :  uall: ∀[x:A]. B[x],  implies: P ⇒ Q
FDL editor aliases :  usym
Latex:
(basic)::  UniformlySym(T;x,y.E[x;  y])  ==    \mforall{}[a,b:T].    (E[a;  b]  {}\mRightarrow{}  E[b;  a])


Date html generated: 2016_05_13-PM-04_14_40
Last ObjectModification: 2015_09_22-PM-05_46_02

Theory : rel_1


Home Index