chapter AFP
session Knot_Theory = "Matrix_Tensor" +
options [timeout = 600]
theories
Example
Kauffman_Invariance
Kauffman_Matrix
Knot_Theory
Link_Algebra
Preliminaries
Tangle_Algebra
Tangle_Moves
Tangles
document_files
"root.tex"
¤ Dauer der Verarbeitung: 0.8 Sekunden
(vorverarbeitet am 2026-06-13)
¤
*© Formatika GbR, Deutschland