Implication Details

Assumptions: codistributive, self-dual

Conclusions: distributive

Proof: This holds by self-duality.