Transfinite ordinal arithmetic and factorisation up to epsilon-zero - View it on GitHub
Star
16
Rank
1093571