Theorem Equiv.permCongr_symm

Modification history