Compl CoCompl f = CoCompl Compl f = Cor f

I proved true the following conjecture:

Theorem \mathrm{Compl} \, \mathrm{CoCompl}\, f = \mathrm{CoCompl}\, \mathrm{Compl}\, f = \mathrm{Cor}\, f for every reloid f.

See here for definitions and proofs.

Leave a Reply