Theorem LinearMap.BilinForm.congr_trans

Modification history