Update changelog for filter extensionality lemmas

2 jobs for !290 with changelog-addition in 5 minutes and 19 seconds (queued for 8 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #133147
fp

00:05:19

passed build-coq.8.13.2-mr #133146
fp

00:04:58