Theorem act_rel_act_of_rel

Modification history