Extension of the equilateral conjectures to π/3 tiles
Prove that the divisibility and complete-classification conjectures for equilateral tilings remain valid when the triangular tile has an angle equal to π/3 rather than 2π/3.
References
Conjectures~\ref{conj:equilateral} and \ref{conj:formal-equilaeral} also hold in this setting.
— Tiling Triangles with $2π/3$ Angles
(2512.22696 - Zhang, 27 Dec 2025) in Conjecture 3, Section 3.2, Tiles with a π/3 Angle