Theorem BilinForm.compRight_apply

Modification history