theory Multivariate_Analysis imports Ordered_Euclidean_Space Determinants Cross3 Lipschitz begin text \<open>Entry point excluding integration and complex analysis.\<close> end