Theorem nndist_mulIndicator

Modification history