Theorem BilinForm.congr_symm

Modification history