Theorem Nat.div_mul_div_le_div

Modification history