Theorem Matrix.reindexAlgEquiv_symm

Modification history