Theorem BilinForm.IsSymm.restrict

Modification history