Theorem Filter.mem_smul_filter

Modification history