Theorem BilinForm.comp_congr

Modification history