Theorem Subgroup.isOpen_of_one_mem_interior

Modification history