aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Natural/Abstract
ModeNameSize
-rw-r--r--NAdd.v2917logplain
-rw-r--r--NAddOrder.v1696logplain
-rw-r--r--NAxioms.v2893logplain
-rw-r--r--NBase.v5270logplain
-rw-r--r--NBits.v41535logplain
-rw-r--r--NDefOps.v11827logplain
-rw-r--r--NDiv.v7570logplain
-rw-r--r--NGcd.v7249logplain
-rw-r--r--NIso.v3415logplain
-rw-r--r--NLcm.v8503logplain
-rw-r--r--NLog.v1027logplain
-rw-r--r--NMaxMin.v4247logplain
-rw-r--r--NMulOrder.v2882logplain
-rw-r--r--NOrder.v6952logplain
-rw-r--r--NParity.v2503logplain
-rw-r--r--NPow.v4739logplain
-rw-r--r--NProperties.v1413logplain
-rw-r--r--NSqrt.v2569logplain
-rw-r--r--NStrongRec.v5714logplain
-rw-r--r--NSub.v9898logplain