Theorem Equiv.swap_comp_apply

Modification history