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

Initializing...

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