Def CategoryTheory.Over.pullbackId

Modification history

2024-07-17 18:39

Mathlib/CategoryTheory/Adjunction/Over.lean

deduplicate pullback and baseChange (#14519) …

Modified CategoryTheory.Over.pullbackId View on Github →

2023-04-14 12:58

Mathlib/CategoryTheory/Limits/Over.lean

feat: port CategoryTheory.Limits.Over (#3172)

Added CategoryTheory.Over.pullbackId View on Github →