Theorem LinearMap.IsSymmetric.toSelfAdjoint_apply

Modification history