Def BilinForm.IsRefl

Modification history