Commit 2023-05-05 22:16 4f474208

View on Github →

chore: forward-port backports (#3752)

  • data.mv_polynomial.basic, data.mv_polynomial.funext: leanprover-community/mathlib#18839
  • category_theory.limits.preserves.finite, category_theory.preadditive.projective: leanprover-community/mathlib#18890
  • category_theory.abelian.basic, category_theory.abelian.opposite: leanprover-community/mathlib#18740
  • topology.category.Top.limits.basic: leanprover-community/mathlib#18871. Note that this does not show a useful diff on the dashboard pages as file splits aren't tracked well by git.

Estimated changes