Theorem LinearMap.BilinForm.isOrtho_zero_left

Modification history