Theorem edist_mulIndicator

Modification history