Def bilin_form.to_lin_hom_aux₂

Modification history