P
Initializing...
`BookProof.Complexification.Cx.lipschitz_re` : LipschitzWith 1 (Cx.re : Cx W → W) · Prove2Me