`BookProof.ChapterMackeyImprimitivity.cocycle_mem_stabilizer` (hs : ∀ x, s x • x₀ = x) (g : G) (x : X) : cocycle s g x ∈ MulAction.stabilizer G x₀

Initializing...

`BookProof.ChapterMackeyImprimitivity.cocycle_mem_stabilizer` (hs : ∀ x, s x • x₀ = x) (g : G) (x : X) : cocycle s g x ∈ MulAction.stabilizer G x₀ · Prove2Me