API for wrathematics/tfca
Transfinite Cardinal Arithmeric
| Global functions | |
|---|---|
| aleph | Source code |
| axioms | Source code |
| beth | Source code |
| cardstr | Source code |
| check.aleph | Source code |
| is.aleph | Source code |
| is.beth | Source code |
| is.cardinal | Source code |
| is.countable | Source code |
| is.int | Source code |
| is.transfinite | Source code |
| simplify | Source code |
| successor | Source code |
