Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-09-06 14:33 3f409bd9

View on Github →

chore(category_theory/*): Lint (#16366) Satisfy the fintype_finite linter.

Estimated changes

Modified src/category_theory/limits/filtered_colimit_commutes_finite_limit.lean

Modified src/category_theory/limits/shapes/biproducts.lean

modified theorem category_theory.limits.has_biproduct.of_has_coproduct

modified theorem category_theory.limits.has_biproduct.of_has_product

Modified src/category_theory/limits/shapes/finite_limits.lean

Modified src/category_theory/limits/shapes/finite_products.lean

Modified src/category_theory/preadditive/biproducts.lean