Theorem Nat.div_mul_div_comm

Modification history