CDF and standard normal function

I was importing Normal and cdf in dolphin using these commands

from sym py.stats import Normal, std, cdf
X = Normal("x", 0, 1) # Mean 0, standard deviation 1

How can I define in dolphinx? Could you please suggest?

It’s not clear what you need to know. Nothing in your question uses dolfin or dolfinx. sympy.stats.Normal is sympy.stats.Normal either way.