Theorem Ordinal.enumOrd_def

Modification history