`BookProof.ChapterA3.isPin_neg` {S : Matrix (Fin 4) (Fin 4) ℝ} (h : IsPin S) : IsPin (-S)

Initializing...

`BookProof.ChapterA3.isPin_neg` {S : Matrix (Fin 4) (Fin 4) ℝ} (h : IsPin S) : IsPin (-S) · Prove2Me