Commit 2024-02-24 11:15 1caa43c0

View on Github →

chore(CategoryTheory/Limits): Fintype -> Finite (#10915)

Estimated changes

Modified Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean

modified def CategoryTheory.Limits.biproduct.matrixEquiv

Modified Mathlib/CategoryTheory/Limits/Shapes/FiniteLimits.lean

Modified Mathlib/Data/Finite/Basic.lean

Modified Mathlib/Data/Fintype/Card.lean