Theorem Set.empty_smul

Modification history