aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Natural/Abstract/NSub.v
Commit message (Expand)AuthorAge
* In abstract parts of theories/Numbers, plus/times becomes add/mul, Gravatar letouzey2008-06-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 01:28:52 +0000