Commit 2025-01-28 08:00 abcae08f

View on Github →

doc: turn more links to Stacks into @[stacks] tags (#21135) This was made quite manually.

Estimated changes

Modified Mathlib/AlgebraicGeometry/Noetherian.lean

Modified Mathlib/CategoryTheory/Galois/Topology.lean

Modified Mathlib/CategoryTheory/Limits/Final.lean

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

Modified Mathlib/CategoryTheory/Sites/Canonical.lean

Modified Mathlib/CategoryTheory/Sites/CoverLifting.lean

Modified Mathlib/CategoryTheory/Sites/CoverPreserving.lean

Modified Mathlib/CategoryTheory/Sites/EqualizerSheafCondition.lean

modified def CategoryTheory.Equalizer.Presieve.SecondObj

Modified Mathlib/CategoryTheory/Sites/IsSheafFor.lean

Modified Mathlib/CategoryTheory/Sites/Pretopology.lean

Modified Mathlib/CategoryTheory/Sites/Sheaf.lean

Modified Mathlib/RingTheory/Adjoin/Tower.lean

Modified Mathlib/RingTheory/Etale/Basic.lean

Modified Mathlib/RingTheory/FinitePresentation.lean

Modified Mathlib/RingTheory/Finiteness/Nakayama.lean

Modified Mathlib/RingTheory/Ideal/Operations.lean

Modified Mathlib/RingTheory/LocalRing/RingHom/Basic.lean

Modified Mathlib/RingTheory/Smooth/Basic.lean

Modified Mathlib/RingTheory/Spectrum/Prime/IsOpenComapC.lean

Modified Mathlib/RingTheory/Spectrum/Prime/Topology.lean

Modified Mathlib/RingTheory/Unramified/Basic.lean

Modified Mathlib/Topology/NoetherianSpace.lean

Modified Mathlib/Topology/Separation/Regular.lean