
diff -r ddf255a4ccc3 -r 5e6b195eee83 src/HOL/Set_Interval.thy
--- a/src/HOL/Set_Interval.thy	Thu Nov 09 15:11:51 2023 +0000
+++ b/src/HOL/Set_Interval.thy	Thu Nov 09 15:11:52 2023 +0000
@@ -2461,7 +2461,7 @@
 
 end
 
-context unique_euclidean_semiring_with_nat
+context linordered_euclidean_semiring
 begin
 
 lemma gauss_sum:




