Skip to content

feat(SimpleGraph/Coloring/VertexColoring): Matching is 2 colorable#38344

Open
robo7179 wants to merge 2 commits into
leanprover-community:masterfrom
robo7179:2-colorable
Open

feat(SimpleGraph/Coloring/VertexColoring): Matching is 2 colorable#38344
robo7179 wants to merge 2 commits into
leanprover-community:masterfrom
robo7179:2-colorable