Theorem Ordinal.right_le_opow

Modification history