Def CategoryTheory.lan

Modification history

2024-07-04 06:28

Mathlib/CategoryTheory/Limits/KanExtension.lean

feat(CategoryTheory/Functor): refactoring Lan (#10425) …

Deleted CategoryTheory.lan View on Github →

2024-01-30 07:22

Mathlib/CategoryTheory/Limits/KanExtension.lean

feat(CategoryTheory/Limits/KanExtension): generalize assumptions (#10003)

Modified CategoryTheory.lan View on Github →

2023-03-08 07:00

Mathlib/CategoryTheory/Limits/KanExtension.lean

feat: port CategoryTheory.Limits.KanExtension (#2601)

Added CategoryTheory.lan View on Github →