Theorem Nat.dist_add_add_right

Modification history