Def CategoryTheory.Limits.lim.π

Modification history

2026-05-06 00:44

Mathlib/CategoryTheory/Limits/HasLimits.lean

refactor(CategoryTheory/Limits): redefine `IsIPC` in terms of `IsIPCOfShape` (#38378) …

Added CategoryTheory.Limits.lim.π View on Github →