Def BilinForm.toLinHomAux₁

Modification history