P
Initializing...
Matrix-integral inequality for an explicit noncommuting integer-Gram quadruple · Prove2Me