Skip to content

feat(RingTheory): regular local ring is domain#28683

Open
Thmoas-Guan wants to merge 400 commits into
leanprover-community:masterfrom
Thmoas-Guan:Regular-Local-Ring
Open

feat(RingTheory): regular local ring is domain#28683
Thmoas-Guan wants to merge 400 commits into
leanprover-community:masterfrom
Thmoas-Guan:Regular-Local-Ring

Commits

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 4, 2026

Commits on Mar 5, 2026

Commits on Mar 13, 2026

Commits on Mar 14, 2026

Commits on Mar 15, 2026

Commits on Mar 16, 2026

Commits on Mar 18, 2026

Commits on Mar 20, 2026

Commits on Mar 21, 2026

Commits on Mar 31, 2026

Commits on Apr 1, 2026

Commits on Apr 2, 2026

Commits on Apr 3, 2026

Commits on Apr 4, 2026

Commits on Apr 8, 2026

Commits on Apr 15, 2026

Commits on Apr 25, 2026

Commits on May 5, 2026

Commits on May 7, 2026

Commits on May 8, 2026

Commits on May 12, 2026

Commits on May 13, 2026

Commits on May 17, 2026

Commits on May 18, 2026

Commits on May 21, 2026

Commits on May 23, 2026

Commits on May 26, 2026

Commits on Jun 2, 2026