Merge branch 'jh/lattices-notations' into 'master'

Lattices notation for order, join, meet, top and bot.

See merge request robbertkrebbers/coq-stdpp!23
5 jobs for master in 7 minutes and 38 seconds
Status Job ID Name Coverage
  Build
passed #6188
fp-timing
build-coq.8.6.1

00:02:09

passed #6187
fp-timing
build-coq.8.7.0

00:02:05

 
  Deploy
passed #6189
opam

00:00:13

 
  Build More
passed #6191
fp-timing
build-coq.8.6

00:02:09

passed #6190
fp-timing
build-coq.8.7.dev

00:05:14