Def CategoryTheory.Bicategory.Prod.sectL

Modification history

2025-12-02 15:26
Mathlib/CategoryTheory/Bicategory/Product.lean
feat(Bicategory/Product): add products of bicategories (#31169) …
Added CategoryTheory.Bicategory.Prod.sectLView on Github →