Theorem BilinForm.congr_trans

Modification history