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