Tweak comments and CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
ce00f184
, finished
Related merge request !561 to merge robbert/map_imap_nested_fixpoint
2 minutes 53 seconds, queued for 3 seconds