Theorem Equiv.permCongr_def

Modification history