`BookProof.ChapterFreeFieldBornSignRepresentation.flipMatrix_injective` : Function.Injective (flipMatrix : (Fin n → Bool) → Matrix (Fin n) (Fin n) ℝ)

Initializing...

`BookProof.ChapterFreeFieldBornSignRepresentation.flipMatrix_injective` : Function.Injective (flipMatrix : (Fin n → Bool) → Matrix (Fin n) (Fin n) ℝ) · Prove2Me