Theorem LinearMap.BilinForm.congr_apply

Modification history