Theorem Ordinal.enum_le_enum

Modification history