Theorem MonObj.mul_rightUnitor

Modification history

2025-10-03 14:29

Mathlib/CategoryTheory/Monoidal/Mon_.lean

chore(CategoryTheory/Monoidal/Mon): reorder (#30157) …

Added MonObj.mul_rightUnitor View on Github →