Theorem List.Sublist.filterMap

Modification history