Theorem act_rel_of_rel_of_act_rel

Modification history