Theorem BilinForm.compLeft_compRight

Modification history