Def Mon_.isoOfIso

Modification history

2024-06-01 00:00

Mathlib/CategoryTheory/Monoidal/Mon_.lean

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

Deleted Mon_.isoOfIso View on Github →

2023-06-07 05:59

Mathlib/CategoryTheory/Monoidal/Mon_.lean

feat: port CategoryTheory.Monoidal.Mon_ (#4763)

Added Mon_.isoOfIso View on Github →