Theorem Nat.bodd_mul

Modification history