Theorem Ordinal.opow_dvd_opow_iff

Modification history