Theorem LinearMap.BilinForm.coeFn_congr

Modification history