diff --git a/src/HOL/Analysis/Multivariate_Analysis.thy b/src/HOL/Analysis/Multivariate_Analysis.thy
--- a/src/HOL/Analysis/Multivariate_Analysis.thy
+++ b/src/HOL/Analysis/Multivariate_Analysis.thy
@@ -1,12 +1,13 @@
 theory
   Multivariate_Analysis
 imports
   Ordered_Euclidean_Space
   Determinants
   Cross3
   Lipschitz
+  Starlike
 begin
 
 text \<open>Entry point excluding integration and complex analysis.\<close>
 
 end
\ No newline at end of file