Theorem BilinForm.congr_fun

Modification history