Implication Details

Assumptions: self-dual, ℵ₁-cofiltered

Conclusions: ℵ₁-filtered

Proof: This holds by self-duality.