Theorem Equiv.Perm.sumCongr_trans

Modification history