Def category_theory.limits.is_limit_of_has_pullback_of_preserves_limit

Modification history

2022-01-04 09:44

src/category_theory/limits/preserves/shapes/pullbacks.lean

chore(category_theory/limits): Generalize universes for `preserves/shapes/pullback.lean` (#10780)

Modified category_theory.limits.is_limit_of_has_pullback_of_preserves_limit View on Github →

2021-01-09 00:41

src/category_theory/limits/preserves/shapes/pullbacks.lean

feat(category_theory/limits): preserving pullbacks (#5668) …

Added category_theory.limits.is_limit_of_has_pullback_of_preserves_limit View on Github →