Theorem Subgroup.mem_centralizer_singleton_iff

Modification history