Theorem MatrixEquivTensor.invFun_algebraMap

Modification history