Commit 2024-02-12 08:25 9ff7dbc1

View on Github →

chore(CategoryTheory/Sites): Fintype → Finite (#10440) Also rename Presieve.extensive to Presieve.Extensive to follow the naming convention.

Estimated changes

Modified Mathlib/CategoryTheory/Sites/Coherent/Basic.lean

Modified Mathlib/CategoryTheory/Sites/Coherent/CoherentSheaves.lean

Modified Mathlib/CategoryTheory/Sites/Coherent/CoherentTopology.lean

modified theorem CategoryTheory.EffectiveEpiFamily.transitive_of_finite

Modified Mathlib/CategoryTheory/Sites/Coherent/ExtensiveSheaves.lean

modified theorem CategoryTheory.isSheafFor_extensive_of_preservesFiniteProducts

Modified Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean

Modified Mathlib/Condensed/Equivalence.lean