Stop using auto with * in intuition solver.#21129

coqbot-app[bot] merged 2 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

ppedrot:intuition-stop-using-auto-with-starppedrot/coq:intuition-stop-using-auto-with-starCopy head branch name to clipboard