Theorem Balanced.smul_mono

Modification history