Theorem Ordinal.opow_lt_opow_iff_right

Modification history