Theorem Equiv.swap_apply_apply

Modification history