Imports
import LeanEconTheory.ContractionMapping
import LeanEconTheory.EnvelopeTheorem
import LeanEconTheory.MiscellaneousThis web directory contains a collection of formalizations of proofs commonly used in economic theory. Visualizations of the mathematical dependencies can be viewed here.