Theorem List.filterMap_cons

Modification history