Add Ltac2 Int.min and Int.max#22242

JasonGross wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

JasonGross:ltac2-int-min-maxJasonGross/coq:ltac2-int-min-maxCopy head branch name to clipboard