`BookProof.ChapterA3p.sum_signC_eq_zero` {N : ℕ} (hN : 2 ≤ N) : ∑ σ : Equiv.Perm (Fin N), signC σ = 0

Initializing...

`BookProof.ChapterA3p.sum_signC_eq_zero` {N : ℕ} (hN : 2 ≤ N) : ∑ σ : Equiv.Perm (Fin N), signC σ = 0 · Prove2Me