Theorem LinearMap.BilinForm.dualSubmodule_flip_dualSubmodule_of_basis

Modification history