aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Integer/Abstract
ModeNameSize
-rw-r--r--ZAdd.v8247logplain
-rw-r--r--ZAddOrder.v7977logplain
-rw-r--r--ZAxioms.v4547logplain
-rw-r--r--ZBase.v1269logplain
-rw-r--r--ZBits.v58367logplain
-rw-r--r--ZDivEucl.v17268logplain
-rw-r--r--ZDivFloor.v19361logplain
-rw-r--r--ZDivTrunc.v20799logplain
-rw-r--r--ZGcd.v8804logplain
-rw-r--r--ZLcm.v14225logplain
-rw-r--r--ZLt.v3539logplain
-rw-r--r--ZMaxMin.v6057logplain
-rw-r--r--ZMul.v2570logplain
-rw-r--r--ZMulOrder.v6894logplain
-rw-r--r--ZParity.v1676logplain
-rw-r--r--ZPow.v4096logplain
-rw-r--r--ZProperties.v1363logplain
-rw-r--r--ZSgnAbs.v11113logplain