Theorem Ordinal.div_eq_zero_of_lt

Modification history