Def CategoryTheory.Limits.IsInitial.op

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.op View on Github →