Constr-as-datatype functions now use the user name for references.#21882

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

ppedrot:term-data-use-userordppedrot/coq:term-data-use-userordCopy head branch name to clipboard