Theorem Ordinal.enumOrd_range

Modification history