P
Initializing...
Common translation contracts the matrix integral distance: $d(A+E,C+E)\le d(A,C)$ · Prove2Me