aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Integer/NatPairs
ModeNameSize
-rw-r--r--ZNatPairs.v14848logplain