Theorem Balanced.smul_congr

Modification history