Theorem Rack.op_act_op_eq

Modification history