Theorem Balanced.smul_mem_iff

Modification history