Theorem Equiv.prodCongr_symm

Modification history