Theorem Quiver.IsStronglyConnected.isSStronglyConnected_of_hom

Modification history

2025-10-07 20:49
Mathlib/Combinatorics/Quiver/ConnectedComponent.lean
feat(Combinatorics/Quiver): add strongly connected quivers (#29754) …
Added Quiver.IsStronglyConnected.isSStronglyConnected_of_homView on Github →