Fix typos

2 jobs for !706 with fix-typos in 13 minutes and 29 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.12.2 #131901
fp

00:13:26

passed build-coq.dev #131900
fp

00:12:56