Theorem LinearMap.BilinForm.dualSubmoduleToDual_injective

Modification history