Wie dieser Auswahlpfeil an die schon vorhandene E8-Verklebung anschließt
TFPT Gesamtsynthese 2026-09-28
Der Anschluss benutzt die ursprüngliche markierte Struktur: Ihre [formula in source] irreduziblen invertiblen Sektoren sind [formula in source] . Die Twistphasen sind Die diagonale Untergruppe [formula in source] hat vier Elemente. Ihre tatsächlichen niedrigsten Gewichte sind [formula in source] ; insbesondere sind alle Twistphasen eins. Wird die entsprechende lokale einfache Stromerweiterung realisiert, gilt Die Ori
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_explorer--docs--session-2026-09-28--TFPT_Gesamtsynthese_2026-09-28/sections/012-section-die-quelle-bewegt-sich-wirklich-eine-exakte-zeit.tex · lines 131 to 153
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v154_simple_current_theorem.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred