`BookProof.ChapterLorentzRealRepFull.finrank_matrix` : finrank ℝ (Matrix (Fin 4) (Fin 4) ℝ) = 16

Initializing...

`BookProof.ChapterLorentzRealRepFull.finrank_matrix` : finrank ℝ (Matrix (Fin 4) (Fin 4) ℝ) = 16 · Prove2Me