Theorem Rack.involutory_invAct_eq_act

Modification history