Complete Local Domain T = ℂ[[x,y,z]]/(x²-yz) #
Index file for the LeanPool.AndersonConjecture.CompleteDomain directory: the
ring T = ℂ[[x,y,z]]/(x²-yz) is a complete two-dimensional Cohen–Macaulay
local domain with a non-principal height-one prime.