Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-26 00:59 4b616e6d

View on Github →

feat(category_theory/limits): transport lemmas for kernels (#2779)

Estimated changes