Theorem zero_eq_nndist

Modification history