Theorem List.sublists'_nil

Modification history