# 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.