Theorem mem_pairSelfAdjointMatricesSubmodule

Modification history