Theorem Ordinal.id_le_enumOrd

Modification history