Theorem LinearMap.BilinForm.IsRefl.eq_zero

Modification history