Mathlib v3 is deprecated. Go to Mathlib v4

Def Mon_.iso_of_iso

Modification history

2022-04-13 07:30
src/category_theory/monoidal/Mon_.lean
feat(category_theory/monoidal): define monoidal structure on the category of monoids in a braided monoidal category (#13122) …
Added Mon_.iso_of_isoView on Github →