Documentation

Mathlib.CategoryTheory.ChosenFiniteProducts