Theorem MatrixEquivTensor.toFunAlgHom_apply

Modification history