Def Quiver.IsPreconnected

Modification history

2025-10-07 20:49

Mathlib/Combinatorics/Quiver/Symmetric.lean

feat(Combinatorics/Quiver): add strongly connected quivers (#29754) …

Deleted Quiver.IsPreconnected View on Github →

2022-12-17 08:37

Mathlib/Combinatorics/Quiver/Symmetric.lean

feat: Refactor ConnectedComponent (#971) …

Added Quiver.IsPreconnected View on Github →