Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/0xosiris/distributivity_of_ordinal_arithmetic

Proof of left-distributivity and right-distributivity of ordinal multiplication.
https://github.com/0xosiris/distributivity_of_ordinal_arithmetic

Last synced: 28 days ago
JSON representation

Proof of left-distributivity and right-distributivity of ordinal multiplication.

Awesome Lists containing this project