Theorem set_smul_mem_nhds_smul

Modification history