chapter AFP
session Green = "HOL-Analysis" +
description "Green's theorem"
options [timeout = 600]
theories
CircExample
DiamExample
Green
Paths
Derivs
General_Utils
Integrals
SymmetricR2Shapes
document_files
"root.tex"
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-09-28]
