Commit 2025-12-01 20:13 c4cd7a82

View on Github →

doc: fix a/an articles (2/4) (#32289) Found and fixed by a script (due to Codex). Then manually reviewed.

Estimated changes

Modified Mathlib/CategoryTheory/Endofunctor/Algebra.lean

Modified Mathlib/CategoryTheory/Grothendieck.lean

Modified Mathlib/CategoryTheory/Limits/Preorder.lean

Modified Mathlib/CategoryTheory/Limits/Presheaf.lean

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

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

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

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

Modified Mathlib/CategoryTheory/Limits/Types/Coequalizers.lean

Modified Mathlib/CategoryTheory/Limits/Types/ColimitType.lean

Modified Mathlib/CategoryTheory/Monad/Equalizer.lean

Modified Mathlib/CategoryTheory/Monoidal/Comon_.lean

Modified Mathlib/CategoryTheory/Monoidal/Transport.lean

Modified Mathlib/CategoryTheory/Presentable/CardinalFilteredPresentation.lean

Modified Mathlib/CategoryTheory/Shift/ShiftSequence.lean

Modified Mathlib/CategoryTheory/Triangulated/HomologicalFunctor.lean

Modified Mathlib/CategoryTheory/Triangulated/SpectralObject.lean

Modified Mathlib/CategoryTheory/Whiskering.lean

Modified Mathlib/Combinatorics/Matroid/Circuit.lean

Modified Mathlib/Combinatorics/Matroid/Closure.lean

Modified Mathlib/Combinatorics/SimpleGraph/Clique.lean

Modified Mathlib/Data/Finsupp/Defs.lean

Modified Mathlib/Data/Finsupp/MonomialOrder.lean

Modified Mathlib/Data/List/Chain.lean

Modified Mathlib/Data/List/Destutter.lean

Modified Mathlib/Data/Rel/Separated.lean

Modified Mathlib/Data/Sym/Basic.lean

Modified Mathlib/FieldTheory/AlgebraicClosure.lean

Modified Mathlib/FieldTheory/Separable.lean

Modified Mathlib/GroupTheory/Exponent.lean

Modified Mathlib/GroupTheory/OreLocalization/Basic.lean