Erdős problem 633
A triangle whose side lengths and angles are integrally independent is cuttable only into a non-zero square number of congruent triangles. This is proved in [So09c].
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/633.lean∀ {T : Affine.Triangle ℝ (EuclideanSpace ℝ (Fin 2))}, T ∈ sorry ↔ ∀ (n : ℕ), Erdos633.IsCuttable n T → IsSquare nOpenStatement only, no proof