Commit 2025-08-02 11:20 4f512274
View on Github →feat(Combinatorics/SimpleGraph/Walk): add lemma support_injective (#27472)
This contribution was created as part of the Utrecht Summerschool "Formalizing Mathematics in Lean" in July 2025.
feat(Combinatorics/SimpleGraph/Walk): add lemma support_injective (#27472)
This contribution was created as part of the Utrecht Summerschool "Formalizing Mathematics in Lean" in July 2025.