Theorem Nat.choose_mul

Modification history