theory Multivariate_Analysis imports Ordered_Euclidean_Space Determinants Cross3 Lipschitz Starlike begin text ‹Entry point excluding integration and complex analysis.› end