Theorem Rep.ofModuleMonoidAlgebra_obj_coe

Modification history