Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-21 17:28 aa3a4205

View on Github →

chore(*): add mathlib4 synchronization comments (#18625) Regenerated from the port status wiki page. Relates to the following files:

  • algebra.direct_sum.finsupp
  • algebra.free_algebra
  • ring_theory.noetherian

Estimated changes