Prove `x ⋅ y ~~> x`.

5 jobs for master in 9 minutes and 59 seconds
Status Job ID Name Coverage
  Build
passed #6130
fp-timing
build-coq.8.6.1

00:02:56

passed #6129
fp-timing
build-coq.8.7.0

00:02:47

 
  Deploy
passed #6131
opam

00:00:14

passed #6132
reverse-deps

00:00:14

 
  Build More
passed #6133
fp-timing
build-coq.8.7.dev

00:06:45