Shorter proof for ∃, also add proof for ∀.
Passed
Robbert Krebbers
created pipeline for commit
6f19c369
, finished
Related merge request !319 to merge ralf/list_in_dec
5 minutes 9 seconds, queued for 6 seconds