Theorem LinearMap.BilinForm.isOrtho_def

Modification history