Theorem Equiv.mapMatrix_symm

Modification history