Theorem Equiv.Perm.swap_inv

Modification history