Theorem BilinForm.congr_congr

Modification history