Theorem BilinForm.comp_inj

Modification history