Theorem Equiv.Perm.support_congr

Modification history