Theorem LinearMap.BilinForm.iIsOrtho_def

Modification history