Restore "Proof Using Clear Unused"#22107

SkySkimmer wants to merge 6 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:keep-usingSkySkimmer/rocq:keep-usingCopy head branch name to clipboard