Fix typos
Passed
Robbert Krebbers
created pipeline for commit
9a50355b
, finished
Related merge request !453 to merge robbert/bijective_finite
4 minutes 29 seconds, queued for 2 seconds