aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Natural/Abstract
ModeNameSize
-rw-r--r--NAdd.v2767logplain
-rw-r--r--NAddOrder.v1546logplain
-rw-r--r--NAxioms.v2743logplain
-rw-r--r--NBase.v5120logplain
-rw-r--r--NBits.v41385logplain
-rw-r--r--NDefOps.v11677logplain
-rw-r--r--NDiv.v7420logplain
-rw-r--r--NGcd.v7099logplain
-rw-r--r--NIso.v3265logplain
-rw-r--r--NLcm.v8353logplain
-rw-r--r--NLog.v877logplain
-rw-r--r--NMaxMin.v4097logplain
-rw-r--r--NMulOrder.v2732logplain
-rw-r--r--NOrder.v6802logplain
-rw-r--r--NParity.v2353logplain
-rw-r--r--NPow.v4589logplain
-rw-r--r--NProperties.v1263logplain
-rw-r--r--NSqrt.v2419logplain
-rw-r--r--NStrongRec.v5564logplain
-rw-r--r--NSub.v9748logplain