Theorem LinearMap.BilinForm.mem_dualSubmodule

Modification history