Theorem CategoryTheory.cancel_mono_assoc_iff

Modification history

2024-09-07 08:37
Mathlib/CategoryTheory/Category/Basic.lean
feat(Category/Basic): make `mono_comp` and `epi_comp` instances and golf proofs (#16530) …
Added CategoryTheory.cancel_mono_assoc_iffView on Github →