Implication Details

Assumptions: codistributive, self-dual

Conclusions: distributive

Reason: This holds by self-duality.