Nuprl Definition : proj-incidence
v on p == v⋅proj-rev(n;p) = r0
Definitions occuring in Statement :
proj-rev: proj-rev(n;p),
dot-product: x⋅y,
req: x = y,
int-to-real: r(n),
add: n + m,
natural_number: $n
Definitions occuring in definition :
req: x = y,
dot-product: x⋅y,
add: n + m,
proj-rev: proj-rev(n;p),
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
proj-incidence
Latex:
v on p == v\mcdot{}proj-rev(n;p) = r0
Date html generated:
2017_10_05-AM-00_19_32
Last ObjectModification:
2017_06_17-AM-10_08_37
Theory : inner!product!spaces
Home
Index