Theorem LinearMap.BilinForm.compLeft_injective

Modification history