Theorem Equiv.Perm.swap_induction_on

Modification history