`BookProof.ChapterA3.castMat_minkowskiMatZ` : (Int.castRingHom ℝ).mapMatrix minkowskiMatZ = minkowskiMat

Initializing...

`BookProof.ChapterA3.castMat_minkowskiMatZ` : (Int.castRingHom ℝ).mapMatrix minkowskiMatZ = minkowskiMat · Prove2Me