Theorem List.Perm.singleton_eq

Modification history