Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-05-01 20:00 39478763

View on Github →

chore(category_theory/limits/preserves): fix typo (#18906)

Estimated changes

Modified src/category_theory/functor/flat.lean

Modified src/category_theory/limits/preserves/functor_category.lean

added def category_theory.preserves_limit_of_Lan_preserves_limit

deleted def category_theory.preserves_limit_of_Lan_presesrves_limit