Theorem Rack.act_invAct_eq

Modification history