Theorem LinearMap.BilinForm.congr_symm

Modification history