`BookProof.ChapterMackeyImprimitivity.fibre_stabilizer_invariant` {h : G} (hh : h ∈ MulAction.stabilizer G x₀) {v : E} (hv : S.p x₀ v = v) : S.p x₀ (S.U h v) = S.U h v

Initializing...

`BookProof.ChapterMackeyImprimitivity.fibre_stabilizer_invariant` {h : G} (hh : h ∈ MulAction.stabilizer G x₀) {v : E} (hv : S.p x₀ v = v) : S.p x₀ (S.U h v) = S.U h v · Prove2Me