complements in MinMax + Coq output for Zmin, Zmax

tests/test-claude.why

@@ -48,6 +48,15 @@ theory TestSplit
 
 end
 
+theory TestMinMax
+
+  use import int.Int
+  use import int.MinMax
+
+  goal G1: min 1 2 = 1
+
+end
+
 theory TestDiv
 
    use import int.Int