Theorem Nat.dist_pos_of_ne

Modification history