Library Coq.ZArith.Zmin
THIS FILE IS DEPRECATED. Use Zminmax instead.
Zmin is now Zminmax.Zmin. Code that do things like
unfold Zmin.Zmin will have to be adapted, and neither
a Definition or a Notation here can help much.
Characterization of the minimum on binary integer numbers
Greatest lower bound properties of min
Semi-lattice properties of min
Additional properties of min
Operations preserving min