Theorem Nat.dist_zero_right

Modification history