Theorem LinearMap.BilinForm.congr_congr

Modification history