Theorem CategoryTheory.Zigzag.trans

Modification history

2024-11-20 16:52
Mathlib/CategoryTheory/IsConnected.lean
chore(CategoryTheory/IsConnected): add refl etc annotations (#19017)
Modified CategoryTheory.Zigzag.transView on Github →
2024-03-26 16:49
Mathlib/CategoryTheory/IsConnected.lean
chore(CategoryTheory): add some trivial API lemmas for `Zag` and `Zigzag` (#11696)
Added CategoryTheory.Zigzag.transView on Github →