Library Stdlib.Numbers.NatInt.NZProperties


From Stdlib Require Export NZAxioms NZMulOrder.

This functor summarizes all known facts about NZ. For the moment it is only an alias to NZMulOrderProp, which subsumes all others.

Module Type NZProp := NZMulOrderProp.