Theorem LinearMap.BilinForm.sub_right

Modification history