A new conjecture

While writing my book I overlooked to consider the following statement:

Conjecture f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S for principal funcoid f and a set S of funcoids of appropriate sources and destinations.

Leave a Reply