Lemma 1.2, p. 4 — f(g, 1) = g ⊲ f(1, 1), 1 ⊲ h = f(1, 1) h f(1, 1)⁻¹, f(1, g) = f(1, 1) in a crossed system

Initializing...

Lemma 1.2, p. 4 — f(g, 1) = g ⊲ f(1, 1), 1 ⊲ h = f(1, 1) h f(1, 1)⁻¹, f(1, g) = f(1, 1) in a crossed system · Prove2Me