Theorem String.toList_nonempty

Modification history