Theorem mem_selfAdjointMatricesSubmodule

Modification history