Theorem Set.smul_empty

Modification history