Theorem CategoryTheory.Zigzag.of_zag

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.Zigzag.of_zagView on Github →