theorem tits_theorem_hyp {V : Type u_1} [DecidableEq V] : AptIsCoxeterProof.TitsTheoremHyp V

Tits theorem (Section 3.5): a thin chamber complex with sufficiently many foldings is a Coxeter complex. Assembled by extracting a Coxeter matrix and labeling map from the foldings hypothesis.