Theorem Equiv.arrowCongr'_refl

Modification history