Theorem dist_mulIndicator

Modification history