Add filter_app lemma

Merged Tej Chajed requested to merge tchajed/stdpp:list-filter-app into master

Merge request reports