Theorem smul_pow'

Modification history