Theorem BilinForm.compLeft_injective

Modification history