proof(ordinal): ω-exponentiation is inflationary — α ≤′ ω^^ α (BH climb rung 3, slice 1)

proof(ordinal): ω-exponentiation is inflationary — α ≤′ ω^^ α (BH climb rung 3, slice 1) #137