Theorem Ordinal.eq_zero_or_opow_omega0_le_of_mul_eq_right

Modification history