(* License: LGPL *)
chapter AFP
session First_Welfare_Theorem = "HOL-Analysis" +
options [timeout = 600]
directories
"Microeconomics"
theories
Syntax
Argmax
Preferences
Utility_Functions
"Microeconomics/Consumers"
"Microeconomics/Common"
"Microeconomics/Exchange_Economy"
"Microeconomics/Private_Ownership_Economy"
"Microeconomics/Arrow_Debreu_Model"
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
