Theorem LinearMap.BilinForm.mem_selfAdjointSubmodule

Modification history