TY - RPRT TI - A proof of finite crystallization via stratification AU - Leonard Kreutz AU - Manuel Friedrich PY - 2023 UR - https://arxiv.org/abs/2209.14880 ID - 2209.14880 ER -