Remove notation for `bi_absorbingly`.

We do not have a notation for `bi_affinely` either, so this is at
least consistent.
2 jobs for gen_proofmode in 3 minutes and 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Deploy
passed #6148
opam

00:00:14

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

00:03:13