Theorem Ordinal.eq_enumOrd

Modification history