Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-20 06:49 290a7ba0

View on Github →

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

  • algebra.dual_number
  • data.finsupp.well_founded
  • data.nat.multiplicity
  • data.polynomial.div
  • data.zmod.algebra
  • data.zmod.parity
  • ring_theory.ideal.idempotent_fg
  • ring_theory.mv_polynomial.symmetric

Estimated changes