Skip to content

chore(RingTheory/DedekindDomain): update definitions#41607

Open
mbkybky wants to merge 2 commits into
leanprover-community:masterfrom
mbkybky:IsDedekindDomainDvrUpdateDef
Open

chore(RingTheory/DedekindDomain): update definitions#41607
mbkybky wants to merge 2 commits into
leanprover-community:masterfrom
mbkybky:IsDedekindDomainDvrUpdateDef

Update Basic.lean

78aef92
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-and-report-new-contributor
succeeded Jul 11, 2026 in 6s