Theorem Ordinal.opow_def

Modification history