Theorem Equiv.Perm.sumCongr_swap_refl

Modification history