`BookProof.Complexification.Cx.continuous_ofReal` : Continuous (Cx.ofReal : W → Cx W)

Initializing...

`BookProof.Complexification.Cx.continuous_ofReal` : Continuous (Cx.ofReal : W → Cx W) · Prove2Me