Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.monoidalIso
Modification history
2024-09-10 07:29
Mathlib/Tactic/CategoryTheory/MonoidalComp.lean
feat(CategoryTheory/MonoidalComp): change `IsIso` to `Iso` (#16554) …
Deleted
CategoryTheory.monoidalIso
View on Github →
2024-03-06 21:35
Mathlib/Tactic/CategoryTheory/MonoidalComp.lean
chore(CategoryTheory/MonoidalCategory): split the monoidal composition (#11149) …
Added
CategoryTheory.monoidalIso
View on Github →