Theorem Rack.self_act_invAct_eq

Modification history