Theorem Nat.sub_mul_div'

Modification history