Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-03 09:05 6e8f25e1

View on Github →

chore(ring_theory/dedekind_domain/ideal): fix style of a lemma statement (#15097)

Estimated changes