Author: zskoda Format: MarkdownItexAdded the definition of the regular ring when it is not necessarily local.
<a href="https://ncatlab.org/nlab/revision/diff/regular+local+ring/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/regular+local+ring/6">v6</a>, <a href="https://ncatlab.org/nlab/show/regular+local+ring">current</a>
Added the definition of the regular ring when it is not necessarily local.