Theorem Pi.single_apply_smul

Modification history