Def bilin_form.is_refl

Modification history