Merge branch 'fix-direction-op-lemmas' into 'master'

Fix #256: Fix direction of f_op lemmas

Closes #256

See merge request !303
6 jobs for master in 14 minutes and 54 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #39206
fp
build-coq.8.10.dev

00:13:26

passed #39210
fp
build-coq.8.7.2

00:06:20

passed #39209
fp
build-coq.8.8.2

00:06:48

passed #39208
fp-timing
build-coq.8.9.0

00:05:54

passed #39207
fp
build-coq.8.9.1

00:07:16

passed #39205
fp
build-coq.dev

00:14:54