Theorem List.filterMap_congr

Modification history