Theorem Ordinal.mod_eq_of_lt

Modification history