User blog comment:Moooosey/My most recent OCF/@comment-35470197-20191112221228/@comment-43798125-20191112221858

How do I fix the LaTeX?

>it is better to show the well-definedness by yourself.

I'm sorry, I just wanted to make sure that I was right in thinking it was welldefined.