Merge branch 'robbert/countable_eq_dec' into 'master'
Passed
Robbert Krebbers
created pipeline for commit
3d845892
, finished
For master
9 minutes 50 seconds, queued for 4 seconds