Add lemma `filter_app_complement`.

This lemma is analogous to filter_union_complement.

enabled an automatic merge when the pipeline for 1ddf1797 succeeds

merged

mentioned in commit e9e4c9c6