Commit 2025-11-28 19:07 143c3436
View on Github →feat(Combinatorics/SimpleGraph): Probe that all trees are bipartite (#32185) This contribution was created as part of the Utrecht Summerschool "Formalizing Mathematics in Lean" in July 2025.
feat(Combinatorics/SimpleGraph): Probe that all trees are bipartite (#32185) This contribution was created as part of the Utrecht Summerschool "Formalizing Mathematics in Lean" in July 2025.