Theorem List.sublists_singleton

Modification history