Theorem continuous_mulIndicator

Modification history