Theorem LinearMap.IsSymm.ortho_comm

Modification history