Theorem LinearMap.BilinForm.compLeft_apply

Modification history