Theory Multivariate_Analysis

theory Multivariate_Analysis
imports Ordered_Euclidean_Space Cross3 Lipschitz Starlike
theory
  Multivariate_Analysis
imports
  Ordered_Euclidean_Space
  Determinants
  Cross3
  Lipschitz
  Starlike
begin

text ‹Entry point excluding integration and complex analysis.›

end