src/HOL/Analysis/Cross3.thy

--- a/src/HOL/Analysis/Cross3.thy	Wed Jan 16 16:50:35 2019 -0500
+++ b/src/HOL/Analysis/Cross3.thy	Wed Jan 16 18:14:02 2019 -0500
@@ -7,7 +7,7 @@
 section\<open>Vector Cross Products in 3 Dimensions\<close>
 
 theory "Cross3"
-  imports Determinants
+  imports Determinants Cartesian_Euclidean_Space
 begin
 
 context includes no_Set_Product_syntax