Theorem Balanced.smul_eq

Modification history