Theorem Equiv.Perm.sumCongr_swap_one

Modification history