`BookProof.ChapterScaledDotProduct.flipEquiv_apply_self` (i : Fin d) (x : Fin d → Bool) : (flipEquiv i x) i = !(x i)

Initializing...

`BookProof.ChapterScaledDotProduct.flipEquiv_apply_self` (i : Fin d) (x : Fin d → Bool) : (flipEquiv i x) i = !(x i) · Prove2Me