Theorem List.singleton_inj

Modification history