Theorem Ordinal.lt_opow_iff_log_lt'

Modification history