Theorem LinearMap.isSymmetric_adjoint_mul_self

Modification history