Theorem Action.ofMulAction_apply

Modification history