Commit 2024-01-30 07:22 0fa946f3

View on Github →

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

Estimated changes

modified def CategoryTheory.lan