more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty (required for Build_Job.print_log);
removed unused imports_hierarchy;
theory
Multivariate_Analysis
imports
Ordered_Euclidean_Space
Determinants
Cross3
Lipschitz
Starlike
begin
text \<open>Entry point excluding integration and complex analysis.\<close>
end