Theorem List.filterMap_filter

Modification history