Theorem LinearMap.BilinForm.dualSubmodule_span_of_basis

Modification history