Theorem AddSubgroup.mem_inv_pointwise_smul_iff₀

Modification history