Theorem Equiv.Perm.sumCongr_refl_swap

Modification history