I’ve found today earlier stated conjecture that lattices $latex \mathrm{Compl}\mathsf{FCD}(A;B)$ and $latex \mathrm{Compl}\mathsf{RLD}(A;B)$ are co-brouwerian.
Exercise: Prove this fact.
Several math research monographies
I’ve found today earlier stated conjecture that lattices $latex \mathrm{Compl}\mathsf{FCD}(A;B)$ and $latex \mathrm{Compl}\mathsf{RLD}(A;B)$ are co-brouwerian.
Exercise: Prove this fact.