Commit 2024-02-16 21:36 09342771
View on Github →Refactor(Mathlib/CategoryTheory/Monoidal/Opposite): Make MonoidalOpposite a structure (#10642)
Refactor MonoidalOpposite
into a structure for consistency with Opposite
.
Refactor(Mathlib/CategoryTheory/Monoidal/Opposite): Make MonoidalOpposite a structure (#10642)
Refactor MonoidalOpposite
into a structure for consistency with Opposite
.