Theorem Pi.single_smul'

Modification history