Add lemma `exist_wand_forall`, similar to `exist_impl_forall`.

2 jobs for master in 21 minutes and 49 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-stdpp.dev-coq.8.11.1 #70116
fp

00:13:13

passed build-stdpp.dev-coq.dev #70117
fp

00:21:49