Theorem Ordinal.le_enum_succ

Modification history