Theorem nndist_dist

Modification history