Theorem Ordinal.div_add_mod

Modification history