summaryrefslogtreecommitdiff
path: root/theories/Numbers/Natural/Peano
ModeNameSize
-rw-r--r--NPeano.v6521logplain