Commit 2024-11-20 16:52 8eed8831

View on Github →

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

Estimated changes

Modified Mathlib/CategoryTheory/IsConnected.lean

modified theorem CategoryTheory.Zag.refl

modified theorem CategoryTheory.Zag.symm

modified theorem CategoryTheory.Zigzag.refl

modified theorem CategoryTheory.Zigzag.symm

modified theorem CategoryTheory.Zigzag.trans