Theorem Ordinal.enumOrd_le_of_forall_lt

Modification history