Theorem List.sublists'_cons

Modification history