Theorem Rack.self_act_act_eq

Modification history