WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Addition
Revision #2826 → #3298 ·
back to history
added
n + 1 is the least integer greater than n
5532e7675c30
added
Commutative monoid
3b1668a6470e
added
Direct sum
de03f1723731