pullback.lean` (#10780)

Commit

3 years ago

chore(category_theory/limits): Generalize universes for `preserves/shapes/pullback.lean` (#10780) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>

Author

erdOne

Parents

044c1def

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

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