# Lattices ComplFCD and ComplRLD are co-brouwerian

I’ve found today earlier stated conjecture that lattices $\mathrm{Compl}\mathsf{FCD}(A;B)$ and $\mathrm{Compl}\mathsf{RLD}(A;B)$ are co-brouwerian.

Exercise: Prove this fact.