8000 chore: deprecate some `Int.ofNat_*` lemmas by TwoFX · Pull Request #8000 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: deprecate some Int.ofNat_* lemmas#8000

Merged
TwoFX merged 3 commits intomasterfrom
markus/ofnat_emod
Apr 25, 2025
Merged

chore: deprecate some `Int.ofNat_*` lemmas#8000
TwoFX merged 3 commits intomasterfrom
markus/ofnat_emod

Commits

Commits on Apr 25, 2025
0