Theorem Equiv.Perm.subsingleton_eq_refl

Modification history