Theorem LinearMap.IsSymmetric.coe_toSelfAdjoint

Modification history