On the task formulated in this blog post:
An attempt to prove that 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]]
One comment