Theorem Set.singleton_injective

Modification history