CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
0a52e84c
, finished
Related merge request !526 to merge robbert/eq_lemmas
5 minutes 32 seconds, queued for 2 seconds