Theorem BilinForm.IsSymm.ortho_comm

Modification history