/theories/Numbers/Natural/Abstract/

• ../
• NAxioms.v
• NBase.v
• NDefOps.v
• NIso.v
• NMinus.v
• NOrder.v
• NPlus.v
• NPlusOrder.v
• NStrongRec.v
• NTimes.v
• NTimesOrder.v