Theorem Equiv.permCongr_apply

Modification history