Theorem Subgroup.smul_mem_of_mem_closure_of_mem

Modification history