aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Natural/Binary
ModeNameSize
-rw-r--r--NBinary.v1524logplain