Theorem LinearMap.BilinForm.congr_comp

Modification history