Theorem Equiv.Perm.support_refl

Modification history