Theorem BilinForm.isSymm_iff_flip

Modification history