Commit 2025-10-24 20:19 b8203849
View on Github →feat(Combinatorics/SimpleGraph): inducing a walk (#30590) A walk which is fully contained within a set of vertices becomes a walk on the corresponding induced graph. From the ProofBench workshop
feat(Combinatorics/SimpleGraph): inducing a walk (#30590) A walk which is fully contained within a set of vertices becomes a walk on the corresponding induced graph. From the ProofBench workshop