Theorem Nat.dist_zero_left

Modification history