Theorem Pi.single_smul

Modification history