Theorem Equiv.Perm.swap_induction_on'

Modification history