Def CategoryTheory.Limits.IsTerminal.op

Modification history

2026-08-17 12:02

Mathlib/CategoryTheory/Limits/Shapes/IsTerminal.lean

chore(CategoryTheory/Limits/Shapes/Terminal): use `to_dual` (#42842) …

Deleted CategoryTheory.Limits.IsTerminal.op View on Github →

2026-03-06 00:15

Mathlib/CategoryTheory/Limits/Shapes/IsTerminal.lean

feat(CategoryTheory/Sites): points of presheaf toposes (#35201) …

Added CategoryTheory.Limits.IsTerminal.op View on Github →