Theorem Equiv.Perm.sumCongr_symm

Modification history