Theorem Rack.invAct_act_eq

Modification history