Theorem AddSubmonoid.mem_smul_pointwise_iff_exists

Modification history