Theorem List.pwFilter_map

Modification history