Theorem BilinForm.IsAlt.neg_eq

Modification history