Geometric Four-Colorings of the Moser Lattice and Ring

Source: arxiv:2606.12325 Authors: Egor Lyfar Status: verified Main declarations: LeanPool.MoserLatticeColorings.MoserRing.both_colorings_are_geometric Tags: combinatorics, graph-coloring, discrete-geometry, unit-distance-graphs, moser-lattice MSC: 05C15