Theorem Ordinal.left_le_opow

Modification history