Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session "Lie_Groups" (AFP) = Smooth_Manifolds +
options [timeout = 600]
sessions
Jacobson_Basic_Algebra
Types_To_Sets_Extension
"HOL-Eisbach"
Cayley_Hamilton
theories [document = false]
Diff_PiE
Transfer_Cayley_Hamilton
(* The top-level theories of the submission: *)
theories
Algebra_On
Groups_On_With
Linear_Algebra_More
More_Manifolds
Smooth_Vector_Fields
Manifold_Lie_Bracket
Lie_Group
Lie_Algebra
Classical_Groups
(* Dependencies on document source files: *)
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
