Theorem AddSubgroup.smul_mem_pointwise_smul_iff₀

Modification history