Theorem List.filter_filterMap

Modification history