Nuprl Definition : urefl
(basic):: UniformlyRefl(T;x,y.E[x; y]) == ∀[a:T]. E[a; a]
Definitions occuring in Statement :
uall: ∀[x:A]. B[x]
Definitions occuring in definition :
uall: ∀[x:A]. B[x]
FDL editor aliases :
urefl
Latex:
(basic):: UniformlyRefl(T;x,y.E[x; y]) == \mforall{}[a:T]. E[a; a]
Date html generated:
2016_05_13-PM-04_14_36
Last ObjectModification:
2015_09_22-PM-05_46_02
Theory : rel_1
Home
Index