Repository navigation

feat: regular local rings are domains - #29574

Open

JarodAlper wants to merge 2 commits into

leanprover-community:masterfrom

JarodAlper:my-branch

Open

feat: regular local rings are domains#29574
JarodAlper wants to merge 2 commits into
leanprover-community:masterfrom
JarodAlper:my-branch

Commits on Sep 12, 2025
- Committing all necessary files following mathlib conventinos proving that a regular local ring is a domain.
  JarodAlper
  committed
  c7084fe
Commits on Sep 13, 2025
- changes to lake-manifest and Mathlib.lean
  JarodAlper
  committed
  1f46632