Theorem Rack.self_act_eq_iff_eq

Modification history