Def CategoryTheory.Limits.IsInitial.unop

Modification history

2026-03-06 00:15

Mathlib/CategoryTheory/Limits/Shapes/IsTerminal.lean

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

Added CategoryTheory.Limits.IsInitial.unop View on Github →