Theorem Balanced.smul_mem_mono

Modification history