`BookProof.ChapterA3.hasAdLambda_zero` : HasAdLambda (0 : Matrix (Fin 4) (Fin 4) ℝ) 0

Initializing...

`BookProof.ChapterA3.hasAdLambda_zero` : HasAdLambda (0 : Matrix (Fin 4) (Fin 4) ℝ) 0 · Prove2Me