Theorem Ordinal.blsub_le_enumOrd

Modification history