Theorem List.filterMap_nil

Modification history