Theorem List.sublists'_eq_sublists

Modification history