Theorem CategoryTheory.Over.mkIdTerminal_from_left

Modification history

2026-02-04 20:33

Mathlib/CategoryTheory/Comma/Over/Basic.lean

feat(CategoryTheory): Being equifibered is closed under limits (#34694)

Added CategoryTheory.Over.mkIdTerminal_from_left View on Github →