Update changelog for filter extensionality lemmas

2 jobs for !290 with changelog-addition in 5 minutes and 19 seconds (queued for 8 seconds)
latest merge request