Theorem Equiv.equivCongr_refl_right

Modification history