Def Bimon_.ofMon_Comon_obj

Modification history

2024-06-01 00:00

Mathlib/CategoryTheory/Monoidal/Bimon_.lean

feat(CategoryTheory/Monoidal/Bimon): definition of bimonoid object in a braided category (#12970)

Added Bimon_.ofMon_Comon_obj View on Github →