`BookProof.ChapterFreeFieldBornSignHom.flipVec_injective` : Function.Injective (flipVec : (Fin n → Bool) → (Fin n → ℝ))

Initializing...

`BookProof.ChapterFreeFieldBornSignHom.flipVec_injective` : Function.Injective (flipVec : (Fin n → Bool) → (Fin n → ℝ)) · Prove2Me