Theorem LinearMap.BilinMap.IsSymm.baseChange

Modification history