Theorem CategoryTheory.Zigzag.of_hom_inv

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_hom_invView on Github →