Theorem min_mul_distrib'

Modification history