Fixing the logical kind of co/fixpoints in "Theorem with" (lost in #19259) - #19625

Fixing the logical kind of co/fixpoints in "Theorem with" (lost in #19259)#19625

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

herbelin:master+amend-19259-theorem-with-fixpoint-mergeherbelin/github-coq:master+amend-19259-theorem-with-fixpoint-mergeCopy head branch name to clipboard