Def CategoryTheory.Limits.limitOfTerminal
Modification history
2024-05-07 01:05
Mathlib/CategoryTheory/Limits/Shapes/Terminal.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted CategoryTheory.Limits.limitOfTerminalView on Github →