Theorem DoubleCoset.mem_doubleCoset_of_not_disjoint

Modification history