Theorem List.filter_sublist

Modification history