Theorem List.singleton_sublist

Modification history