P
Initializing...
`BookProof.Complexification.Cx.continuous_re` : Continuous (Cx.re : Cx W → W) · Prove2Me