Theorem LinearMap.BilinForm.dualBasis_dualBasis

Modification history