Theorem Ordinal.le_enumOrd_self

Modification history