Theorem AddSubgroup.mem_smul_pointwise_iff_exists

Modification history