Theorem Ordinal.div_lt

Modification history