Theorem Nat.add_div_right

Modification history