Add Ltac2 Constr.is_prod_nd#22261

JasonGross wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

JasonGross:ltac2-constr-is-prod-ndJasonGross/coq:ltac2-constr-is-prod-ndCopy head branch name to clipboard