Theorem BilinForm.congr_apply

Modification history