Theorem LinearMap.BilinForm.finrank_add_finrank_orthogonal

Modification history