Theorem Representation.ofMulAction_def

Modification history