Commit 2024-02-04 21:28 7ea85499

View on Github →

chore(Topology/Category): [Fintype _] -> [Finite _] (#10257)

Estimated changes

Modified Mathlib/CategoryTheory/Sites/RegularExtensive.lean

modified theorem CategoryTheory.effectiveEpi_desc_iff_effectiveEpiFamily

Modified Mathlib/Topology/Category/CompHaus/EffectiveEpi.lean

Modified Mathlib/Topology/Category/CompHaus/Limits.lean

Modified Mathlib/Topology/Category/Stonean/EffectiveEpi.lean

Modified Mathlib/Topology/Category/Stonean/Limits.lean

modified theorem Stonean.Sigma.openEmbedding_ι

modified theorem Stonean.finiteCoproduct.openEmbedding_ι