Documentation

Mathlib.CategoryTheory.Products.Bifunctor

Lemmas about functors out of product categories. #