Theorem DoubleCoset.rel_iff

Modification history