Theorem LinearMap.BilinForm.compLeft_compRight

Modification history