# Def category_theory.limits.preserves_limits_of_shape

#### Modification history

2019-04-08 01:59

src/category_theory/limits/preserves.lean

fix(category_theory): turn `has_limits` classes into structures (#896) …

Deleted category_theory.limits.preserves_limits_of_shapeView on Github →