Theorem BilinForm.IsSymm.baseChange

Modification history