Theorem LinearMap.BilinForm.dualBasis_flip_dualBasis

Modification history