Theorem LinearMap.BilinForm.dualSubmodule_dualSubmodule_of_basis

Modification history