Nuprl Definition : ip-congruent
ab=cd == ||a - b|| = ||c - d||
Definitions occuring in Statement :
rv-norm: ||x||,
rv-sub: x - y,
req: x = y
Definitions occuring in definition :
req: x = y,
rv-norm: ||x||,
rv-sub: x - y
FDL editor aliases :
ip-congruent
Latex:
ab=cd == ||a - b|| = ||c - d||
Date html generated:
2017_10_04-PM-11_56_17
Last ObjectModification:
2017_03_09-PM-01_56_42
Theory : inner!product!spaces
Home
Index