Implication Details
Assumptions: distributive, thin
Conclusions: codistributive
Reason: This is equivalent to the classical result that the distributivity law in a lattice can be defined in two ways, see e.g. Birkhoff, Lattice Theory, Ch. IX, Thm. 1.