Theorem LinearMap.IsSymmetric.direct_sum_isInternal

Modification history