Theorem Set.smul_singleton

Modification history