Skip to content

feat(RingTheory/Algebraic): tower law for Module.finrank over domains#41614

Open
xroblot wants to merge 1 commit into
leanprover-community:masterfrom
xroblot:finrank_mul_finrank_domains
Open

feat(RingTheory/Algebraic): tower law for Module.finrank over domains#41614
xroblot wants to merge 1 commit into
leanprover-community:masterfrom
xroblot:finrank_mul_finrank_domains

feat(RingTheory/Algebraic): tower law for Module.finrank over domains

e404830
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 5s