Add some automation to All_Forall for proving via nth_error - #833

Add some automation to All_Forall for proving via nth_error#833

JasonGross wants to merge 1 commit into

MetaRocq:coq-8.16MetaRocq/metarocq:coq-8.16from

JasonGross:coq-8.16+all-forall-utilsJasonGross/metacoq:coq-8.16+all-forall-utilsCopy head branch name to clipboard