Def CategoryTheory.Equivalence.congrElements

Modification history

2026-10-31 10:05

Mathlib/CategoryTheory/Elements.lean

refactor(CategoryTheory): colimits of representable presheaves (#42816) …

Added CategoryTheory.Equivalence.congrElements View on Github →