Def bilin_form.to_quadratic_form_add_monoid_hom

Modification history