Theorem LinearMap.BilinForm.compRight_id

Modification history