Theorem Equiv.sumCongr_symm

Modification history