Theorem CategoryTheory.Zag.of_hom

Modification history

2024-03-26 16:49
Mathlib/CategoryTheory/IsConnected.lean
chore(CategoryTheory): add some trivial API lemmas for `Zag` and `Zigzag` (#11696)
Added CategoryTheory.Zag.of_homView on Github →