Prime ordinal

Redirect to:

• Ordinal arithmetic#Factorization into primes