Theorem Equiv.swap_apply_self

Modification history