theory Multivariate_Analysis imports Fashoda Extended_Real_Limits Determinants Ordered_Euclidean_Space Bounded_Continuous_Function Weierstrass Conformal_Mappings Generalised_Binomial_Theorem Gamma begin end