Theorem Ordinal.add_mul_limit_aux

Modification history