close derivation *before* splitting conjuncts, like Goal.prove_common (see also 757cad5a3fe9) -- potential improvement of performance;
theory Multivariate_Analysis
imports
Fashoda
Extended_Real_Limits
Determinants
Ordered_Euclidean_Space
Complex_Analysis_Basics
Bounded_Continuous_Function
Uniform_Limit
Weierstrass
begin
end