Merge branch 'ralf/bool_decide' into 'master'

add unfolding lemma for bool_decide: bool_decide_decide

See merge request !73
8 jobs for master in 10 minutes and 3 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.dev #34490
fp

00:07:03

passed build-coq.8.7.2 #34496
fp

00:02:45

passed build-coq.8.8.0 #34495
fp-timing

00:02:40

passed build-coq.8.8.1 #34494
fp

00:02:57

passed build-coq.8.8.2 #34493
fp

00:03:01

passed build-coq.8.9.0 #34492
fp-timing

00:03:23

passed build-coq.8.9.1 #34491
fp

00:03:31

passed build-coq.dev #34489
fp

00:08:15