Theorem LinearMap.IsSymmetric.adjoint_eq

Modification history