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