Theorem Balanced.mem_smul_iff

Modification history