Theorem Representation.ofModule_asModule_act

Modification history