Theorem LinearMap.BilinForm.compRight_compLeft

Modification history