Theorem Equiv.arrowCongr_symm

Modification history