ltac2: operations to manipulate transparent states#21558

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

MathisBD:ltac2-transparent-stateMathisBD/rocq:ltac2-transparent-stateCopy head branch name to clipboard