TRURETURING//VISUALIZE

把理论里的关系结构，做成可以操作的对象The relations in the theory, as objects you can operate

每个可视化对应 trureturing 里的一卷理论或一组定理。页面会写明依据的条目，哪些结论已由 Lean 内核验证并冻结，哪些只是为了看清结构而设的示意模型。

Each visualization follows one theory volume or a group of theorems in trureturing. Every page names the sections it draws on, which results are kernel-verified and frozen in Lean, and which parts are a schematic model chosen to make the structure visible.

• LEAN ✓仓库中已冻结的定理frozen theorem in trureturing
• THEORY理论卷条目（参考输入）theory volume section (reference input)
• MODEL示意模型，只保证定性结构schematic model, qualitative structure only