diff options
Diffstat (limited to 'theories/ZArith/Zminmax.v')
| -rw-r--r-- | theories/ZArith/Zminmax.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/ZArith/Zminmax.v b/theories/ZArith/Zminmax.v index 61c31f109a..63317d9cb9 100644 --- a/theories/ZArith/Zminmax.v +++ b/theories/ZArith/Zminmax.v @@ -19,4 +19,4 @@ Notation Zmin_max_distr_r := Z.min_max_distr (only parsing). Notation Zmax_min_modular_r := Z.max_min_modular (only parsing). Notation Zmin_max_modular_r := Z.min_max_modular (only parsing). Notation max_min_disassoc := Z.max_min_disassoc (only parsing). -(*end hide*)
\ No newline at end of file +(*end hide*) |