Theorem Ordinal.opow_eq_zero

Modification history