Theorem MulAction.mem_stabilizer_finset_iff_subset_smul_finset

Modification history