1 theory Multivariate_Analysis
2 imports Determinants Integration Real_Integration
2 imports Determinants Integration Real_Integration Fashoda
3 begin
4
5 end