Def CategoryTheory.Functor.Elements.precomp

Modification history

2026-09-03 15:14

Mathlib/CategoryTheory/Elements.lean

refactor(CategoryTheory): cleaning up `Functor.Elements` (#43228) …

Modified CategoryTheory.Functor.Elements.precomp View on Github →

2026-06-18 11:17

Mathlib/CategoryTheory/Elements.lean

feat(AlgebraicGeometry): points of the small étale site (#35136) …

Added CategoryTheory.Functor.Elements.precomp View on Github →