aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/Abstract
ModeNameSize
-rw-r--r--ZAdd.v8240logplain
-rw-r--r--ZAddOrder.v9061logplain
-rw-r--r--ZAxioms.v4581logplain
-rw-r--r--ZBase.v1173logplain
-rw-r--r--ZDivEucl.v16520logplain
-rw-r--r--ZDivFloor.v18285logplain
-rw-r--r--ZDivTrunc.v20230logplain
-rw-r--r--ZGcd.v8717logplain
-rw-r--r--ZLcm.v12843logplain
-rw-r--r--ZLt.v3558logplain
-rw-r--r--ZMaxMin.v6057logplain
-rw-r--r--ZMul.v2452logplain
-rw-r--r--ZMulOrder.v7060logplain
-rw-r--r--ZParity.v5930logplain
-rw-r--r--ZPow.v3245logplain
-rw-r--r--ZProperties.v878logplain
-rw-r--r--ZSgnAbs.v10316logplain