Theorem LinearMap.mem_isPairSelfAdjointSubmodule

Modification history