P
Initializing...
`BookProof.ChapterPinOmega.qkC_eq_cast` : qkC = (Int.castRingHom ℂ).mapMatrix qk · Prove2Me