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#18839category_theory.limits.preserves.finite
,category_theory.preadditive.projective
: leanprover-community/mathlib#18890category_theory.abelian.basic
,category_theory.abelian.opposite
: leanprover-community/mathlib#18740topology.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.