Commit 2025-11-04 21:03 9d514c7a
View on Github →feat(Combinatorics/SimpleGraph/Walk): induce.mapLe = induce (#30873)
Inducing a walk to G[s] and then mapping to G[s'] is the same as inducing to G[s'] when s ⊆ s'.
feat(Combinatorics/SimpleGraph/Walk): induce.mapLe = induce (#30873)
Inducing a walk to G[s] and then mapping to G[s'] is the same as inducing to G[s'] when s ⊆ s'.