Theorem act_rel_of_act_rel_of_rel_act_rel

Modification history