Theorem Ordinal.mul_div_cancel

Modification history