Add CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
90d752bc
, finished
Related merge request !553 to merge misc-lemma
11 minutes 23 seconds, queued for 2 seconds