clarified map_node: operate precisely on goal context and goal info (see also 2b8342b0d98c);
apply_end cases are no longer seen in current context section (hardly relevant in practice);
theory Multivariate_Analysis
imports
Fashoda
Extended_Real_Limits
Determinants
Ordered_Euclidean_Space
Complex_Analysis_Basics
Bounded_Continuous_Function
begin
end