Theorem Balanced.subset_smul

Modification history