equal
deleted
inserted
replaced
1 theory Multivariate_Analysis |
1 theory Multivariate_Analysis |
2 imports |
2 imports |
|
3 Regularity |
|
4 Lebesgue_Integral_Substitution |
|
5 Embed_Measure |
|
6 Complete_Measure |
|
7 Radon_Nikodym |
3 Fashoda_Theorem |
8 Fashoda_Theorem |
4 Extended_Real_Limits |
|
5 Determinants |
9 Determinants |
6 Homeomorphism |
10 Homeomorphism |
7 Ordered_Euclidean_Space |
|
8 Bounded_Continuous_Function |
11 Bounded_Continuous_Function |
9 Weierstrass_Theorems |
12 Weierstrass_Theorems |
10 Polytope |
13 Polytope |
11 Poly_Roots |
14 Poly_Roots |
12 Conformal_Mappings |
15 Conformal_Mappings |