Theorem Module.evalEquiv_toLinearMap

Modification history