Theorem Ordinal.div_mul_cancel

Modification history