Def LinearMap.BilinForm.IsAlt

Modification history