# Def category_theory.limits.has_finite_coproducts

#### Modification history

2021-03-24 16:04

src/category_theory/limits/shapes/finite_products.lean

feat(tactic/lint): linter for @[class] def (#6061) …

Deleted category_theory.limits.has_finite_coproductsView on Github →