On the task formulated in this blog post:
An attempt to prove that $latex \mathrm{GR} ( \Delta \times^{\mathsf{FCD}} \Delta)$ is closed under finite intersections (see http://portonmath.tiddlyspace.com/#[[Singularities%20funcoids%3A%20some%20special%20cases]])
http://portonmath.tiddlyspace.com/#[[Singularities%20funcoids%3A%20special%20cases%20proof%20attempts]]
1 thought on “A suggested way to solve an open problem”