Prove a couple of auxiliary lemmas for trace_app

3 jobs for master in 5 minutes and 50 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed coq:8.8 #84257
au

00:02:39

passed coq:8.9 #84258
au

00:02:38

passed coq:dev #84259
au

00:03:11