Theorem CategoryTheory.mono_of_mono

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) …
Modified CategoryTheory.mono_of_monoView on Github →
2022-12-01 15:35
Mathlib/CategoryTheory/Category/Basic.lean
port: several files from category_theory (#749) …
Added CategoryTheory.mono_of_monoView on Github →