Theorem LinearMap.BilinForm.IsAlt.ortho_comm

Modification history