Theorem CategoryTheory.Zag.refl

Modification history

2024-11-20 16:52

Mathlib/CategoryTheory/IsConnected.lean

chore(CategoryTheory/IsConnected): add refl etc annotations (#19017)

Modified CategoryTheory.Zag.refl View 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.Zag.refl View on Github →