--- 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: