Def BilinForm.toLinHomAux₂

Modification history