Theorem LinearMap.BilinForm.IsAlt.isRefl

Modification history