Namespace DoubleCoset 2 theorems
- Double cosets descend along a surjection with kernel in H
DoubleCoset.natCard_quotient_eq_natCard_quotient_map_of_surjective0 below · cited by 1 · depth 23 - Fibres of the refinement map Γbackslash G/V → Ubackslash G/V
DoubleCoset.natCard_fibre_quotient_eq_natCard_quotient_inf_map_conj0 below · cited by 1 · depth 25