Theorem MonObj.Mon_tensor_mul_assoc

Modification history

2025-10-03 14:29
Mathlib/CategoryTheory/Monoidal/Mon_.lean
chore(CategoryTheory/Monoidal/Mon): reorder (#30157) …
Added MonObj.Mon_tensor_mul_assocView on Github →