Theorem rel_of_act_rel_act

Modification history