Theorem Ordinal.opow_ne_zero

Modification history