Theorem LinearMap.IsSymmetric.clm_adjoint_eq

Modification history