Theorem Equiv.Perm.swap_apply_apply

Modification history