Add some automation to All_Forall for proving via nth_error#833
Draft
JasonGross wants to merge 1 commit intoMetaCoq:coq-8.16from JasonGross:coq-8.16+all-forall-utils
+1,220-157
All_Forall for proving via nth_error#833