Description: Complex number multiplication is a continuous function. Part of
Proposition 14-4.16 of Gleason p. 243. (Contributed by NM, 30-Jul-2007)(Proof shortened by Mario Carneiro, 5-May-2014) Usage
of this theorem is discouraged because it depends on ax-mulf . Use
mpomulcn instead. (New usage is discouraged.)