8000 feat: the grothendieck envelope of an ordered semiring is an ordered ring by kim-em · Pull Request #8959 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: the grothendieck envelope of an ordered semiring is an ordered ring#8959

Merged
kim-em merged 4 commits intomasterfrom
enveloped_ordered
Jun 24, 2025
Merged

feat: the grothendieck envelope of an ordered semiring is an ordered ring#8959
kim-em merged 4 commits intomasterfrom
enveloped_ordered

Commits

Commits on Jun 24, 2025
0