Theorem Set.singleton_smul

Modification history