Theorem LinearMap.BilinForm.IsAlt.self_eq_zero

Modification history