Theorem zero_eq_dist

Modification history