Theorem BilinForm.compLeft_id

Modification history