Theorem BilinForm.toLin_apply

Modification history