### What is the .sigma() function for an elliptic curve's formal group?

The SageMath documentation page for "formal groups of elliptic curves" (I can't link it because I don't have enough karma) lists among the methods for formal groups of elliptic curves a `.sigma()`

, with essentially no explanation of what it is. This makes me suspect that it's the $p$-adic $\sigma$-function of the elliptic curve, as defined by Mazur and Tate in their paper of that name, but I'd like some security in whether the implementation is accurate, as well as what the "c" variable is - I guess probably it somehow corresponds to a choice of invariant differential on the elliptic curve/formal group since that's the only other thing the $p$-adic $\sigma$-function depends on, but how this works isn't transparent to me.