Theorem List.singleton_injective

Modification history