Theorem Rack.self_invAct_act_eq

Modification history