Add lemma `filter_app_complement`.

Merged Robbert Krebbers requested to merge robbert/filter_app_complement into master

Merge request reports