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.

Leave a Reply