Theorem LinearMap.BilinForm.mem_isPairSelfAdjointSubmodule

Modification history