Theorem Ordinal.enumOrd_def'

Modification history