Theorem LinearMap.BilinForm.IsSymm.ortho_comm

Modification history