Commit 2024-09-14 08:37 9e2a933e
View on Github →feat(Algebra/Category/AlgebraCat/Monoidal): remove heavy defeqs (#16776)
Remove heavy defeqs detected in zulip.
Alternatives for forget₂_map_associator_hom
and forget₂_map_associator_inv
are provided in #16778.