Theorem Rack.invAct_apply

Modification history