Theory HOL-Analysis.Multivariate_Analysis

theory
  Multivariate_Analysis
imports
  Ordered_Euclidean_Space
  Determinants
  Cross3
  Lipschitz
  Starlike
begin

text ‹Entry point excluding integration and complex analysis.›

end