Add lemmas `app_cons_eq_inv_{l,r}`.
Passed
Robbert Krebbers
created pipeline for commit
59468247
, finished
Related merge request !363 to merge robbert/app_cons_eq_inv_lr
4 minutes 58 seconds, queued for 5 seconds