mathlib
4b616e6d - feat(category_theory/limits): transport lemmas for kernels (#2779)

Commit

5 years ago

feat(category_theory/limits): transport lemmas for kernels (#2779) Co-authored-by: Scott Morrison <scott@tqft.net>

Author

TwoFX

Parents