Theorem Nat.dist_tri_right

Modification history