Theorem Equiv.Perm.sumCongr_one_swap

Modification history