Theorem Subgroup.dense_of_not_isolated_one

Modification history