Def CategoryTheory.Bicategory.Prod.sectR

Modification history

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