Theorem Ordinal.range_enumOrd

Modification history