`BookProof.ChapterA3.hasAdLambda_smul` {G A : Matrix (Fin 4) (Fin 4) ℝ} (c : ℝ) (h : HasAdLambda G A) : HasAdLambda (c • G) (c • A)

Initializing...

`BookProof.ChapterA3.hasAdLambda_smul` {G A : Matrix (Fin 4) (Fin 4) ℝ} (c : ℝ) (h : HasAdLambda G A) : HasAdLambda (c • G) (c • A) · Prove2Me