Commit 2024-09-10 07:29 ba034836
View on Github →feat(CategoryTheory/MonoidalComp): change IsIso
to Iso
(#16554)
I'm planning a rewrite of the coherence tactics (a series of PR starting from #16562), and this PR is preparation for that.
feat(CategoryTheory/MonoidalComp): change IsIso
to Iso
(#16554)
I'm planning a rewrite of the coherence tactics (a series of PR starting from #16562), and this PR is preparation for that.