`BookProof.ChapterFreeFieldBornSignAction.boolFlip_mem_sphere` (b : Fin n → Bool) {x : EuclideanSpace ℝ (Fin n)} (hx : x ∈ Metric.sphere (0 : EuclideanSpace ℝ (Fin n)) 1) : boolFli

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.boolFlip_mem_sphere` (b : Fin n → Bool) {x : EuclideanSpace ℝ (Fin n)} (hx : x ∈ Metric.sphere (0 : EuclideanSpace ℝ (Fin n)) 1) : boolFli · Prove2Me