aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/Abstract
ModeNameSize
-rw-r--r--ZAdd.v7539logplain
-rw-r--r--ZAddOrder.v8151logplain
-rw-r--r--ZAxioms.v4697logplain
-rw-r--r--ZBase.v1419logplain
-rw-r--r--ZBits.v58822logplain
-rw-r--r--ZDivEucl.v17706logplain
-rw-r--r--ZDivFloor.v19911logplain
-rw-r--r--ZDivTrunc.v21360logplain
-rw-r--r--ZGcd.v8990logplain
-rw-r--r--ZLcm.v14416logplain
-rw-r--r--ZLt.v3689logplain
-rw-r--r--ZMaxMin.v5919logplain
-rw-r--r--ZMul.v2720logplain
-rw-r--r--ZMulOrder.v7062logplain
-rw-r--r--ZParity.v1832logplain
-rw-r--r--ZPow.v4261logplain
-rw-r--r--ZProperties.v1513logplain
-rw-r--r--ZSgnAbs.v11336logplain